function setCookie(cookieName, cookieValue) {
 var expire = new Date();
 expire.setTime(expire.getTime() + 3600000*24*365);
 document.cookie = cookieName+"="+escape(cookieValue) + ";expires="+expire.toGMTString()+";path=/";
}



function m_over (id) {
	var e = document.getElementById(id);
	e.style.textDecoration="underline";
	/*e.style.fontWeight="bold";*/
	
	document.getElementById("italyMap").src = "./images/map/"+ id +".gif";
	return;
}

function m_out (id) {
	var e = document.getElementById(id);
	e.style.textDecoration="";
	/*e.style.fontWeight="";*/
	document.getElementById("italyMap").src = "./images/map/italia_map.gif";
	return;
}