// Bildwechsel Menu
function taumenu(name,datei) {     
   if (document.images)
      document.images[name].src="../gif/"+datei+".gif";
}