function tr_hover(Farbe,Element)
    {
    if(Farbe=="grey")
        {
        Element.style.background='#cccccc';
        }
    else if (Farbe=="white")
        {
        Element.style.background='#ffffff';
        }
    else if (Farbe=="lightred")
        {
        Element.style.background='#f1dedc';
        }		
    else
        {
        Element.style.background='#f1dedc';
        }		
    }