function over(nr,col)
	{
		
		window.document.getElementById(nr).bgColor=col;
		}
function out(nr,farbe)
	{
		window.document.getElementById(nr).bgColor=farbe;
		}
function highlight(typ,id)
         {
             if(typ=="an")
                          document.getElementById(id).bgColor="#dddddd";
             if(typ=="aus")
                          document.getElementById(id).bgColor="";
             }

function redlight(typ,id)
         {
             if(typ=="an")
                          document.getElementById(id).bgColor="#ff0000";
             if(typ=="aus")
                          document.getElementById(id).bgColor="";
             }