function menu_over (div_id)
{
	document.getElementById(div_id).style.backgroundColor = "#009000";
	return true;
}

function menu_out (div_id)
{
	document.getElementById(div_id).style.backgroundColor = "#006000";
	return true;
}