endung='.gif';

{x=''}

 function ein(Nummer) 
 { 
 bild=new Image();
 eval("bild.src=window.document."+Nummer+".src.substring(0,window.document."+Nummer+".src.lastIndexOf(endung))+\"_hover"+x+endung+"\";");
 eval("window.document."+Nummer+".src=bild.src;");
 };
 
 function aus(Nummer)
 {
 bild=new Image();
 eval("bild.src=window.document."+Nummer+".src.substring(0,window.document."+Nummer+".src.lastIndexOf(\"_hover"+x+endung+"\"))+endung;");
 eval("window.document."+Nummer+".src=bild.src;");
 }



function JS_openWindow(theURL,winName,features)
 {
  window.open(theURL,winName,features);
 }