function menuOver(element, hilite_all)
{
	element.className= 'menupos-hilite';
	if(hilite_all) document.getElementById('menu').className= 'menu-hilite';
}
function menuOut(element)
{
	element.className= 'menupos';
	document.getElementById('menu').className= 'menu';
}