function change_menu(this_id) 
{
	var i;
	for(i=1;i<=10;i++)
	{
		eval("menu"+i).style.display="none";
	}
	eval(this_id).style.display="block";
}
function hide_menu()  
{
	var i;
	for(i=1;i<=10;i++)
	{
		eval("menu"+i).style.display="none";
	}
}