function over(txt,obj) 
   {
    if (document.images)
     {
      document[obj].src="gifs/"+obj+"_hilight.gif";
     }
    window.status=txt;
   }

 function bdown(obj)
   {
    if (document.images)
     {
      document[obj].src="gifs/"+obj+"_unten.gif";
     }
   }

 function out(obj)
   {
    if (document.images)
     {
      document[obj].src="gifs/"+obj+"_oben.gif";
     }
   }

 function clicke(obj)
 {
  if (document.images)
   {
    document[obj].src = "gifs/"+obj+"_unten.gif";
   }
 }