function hover(what,col,nrlink)
{
what.style.backgroundColor = col;
if (col != '')	document.getElementById(nrlink).className = 'menu2'
else document.getElementById(nrlink).className = 'menu'
}

function hover2(what,col,nrlink,clas)
{
what.style.backgroundColor = col;
document.getElementById(nrlink).className = 'menu'
}