function hovermap(lang) {
	var img = document.getElementById(lang);
	img.src = "images/map-"+lang+".gif";
}
function houtmap(lang) {
	var img = document.getElementById(lang);
	img.src = "images/pix.gif";
}