function highlightCountry( country ) {
	return document.getElementById('map').src = "images/map/" + country + ".gif";
}

function resetCountry() {	
	return document.getElementById('map').src = "images/map/world.gif";
}