function move_menu(num)
{
	switch(num)
	{
	  case 1:top.window.location="manutenzione" ;break;
	  case 2:top.window.location="formazione" ;break;
	  case 3:top.window.location="soluzioni" ;break;
	}
}