function menu_over()
{
	document.getElementById('extra_menu').style.display = 'block';
}

function menu_out()
{
	document.getElementById('extra_menu').style.display = 'none';
}

function menu_over2()
{
	document.getElementById('extra_menu2').style.display = 'block';
}

function menu_out2()
{
	document.getElementById('extra_menu2').style.display = 'none';
}