function m_over(id) {
	var e = document.getElementById(id);
	e.style.textDecoration="underline";

	e.style.color="#276ec5";
	
	document.getElementById("italia").src = "images/map_hover/"+id +".png";

	return;
}

function m_out(id) {
	var e = document.getElementById(id);

	e.style.textDecoration="";
	e.style.fontWeight="";
	e.style.color="";
	document.getElementById("italia").src = "images/italia.png";
	return;
}

function preload_image(_image) {
	var image = new Image;
	image.src = _image;
}