// Rollover Funktion für alle grafische Buttons
<!-- 

 function tauschen(obj,img){
         if (document.images)
         {
                 obj.src=img
         }
 } 
//-->