function SwapImage1(imgsrc) {
  document.map.src=imgsrc
}
function SwapImage1Back() {
  document.map.src="images/map.jpg"
}