function loadmap(s) {
  var base = '/images/maps/';
	document.getElementById('img_europe').src=base+'map_'+s+'.png';
}