timeout = 1000  // stellt die ausblendzeit ein (in millisekunden)
menuorig = ""
timeoutid = 0
function menu(nr) {
  clearTimeout(timeoutid)
  if (menuorig=="") {
    menuorig = menu_0.innerHTML
  }
  if (nr>0) {
  	htmlobj("menu_0").innerHTML = htmlobj("menu_"+nr).innerHTML
  } else {
    htmlobj("menu_0").innerHTML = menuorig
  }
}
function htmlobj(name) {
   if (document.layers) {
      return document[name]
   } else if (document.all) {
      return document.all[name]
   } else if (document.getElementById) {
      return document.getElementById(name)
   }
}