// Home

function home() {
  parent.head.location="small_flash.html";
  parent.navigation.location="../01_nav.html";
  parent.content.location="../doc_home/home.html";
}