function menu_over(element)
{
	//var element = event.srcElement;
	element.style.backgroundColor = "#919191";
	element.style.cursor = "pointer";
}

function menu_out(element)
{
	//var element = event.srcElement;
	element.style.backgroundColor = "#807168";
	element.style.cursor = "";
}

function menu_click(href)
{
	window.location = href;
}