//jump menù
	function jump_menu(target, destinazione)
	{
		eval(target + ".location='" + destinazione + "'");
	}