function overCity(city) {
	document.getElementById('citymap_' + city).className += ' over citymap_' + city + '_over';
	document.getElementById('citylist_' + city).className += ' over';
}
function outCity(city) {
	var citymap = document.getElementById('citymap_' + city);
	var citylist = document.getElementById('citylist_' + city);
	citymap.className = citymap.className.substring(0, (citymap.className.length - city.length) - 19);
	citylist.className = citylist.className.substring(0, citylist.className.length - 5);
}