// JavaScript Document

function changeSource1()
  {
  document.getElementById("frame1").src="assets/maps/map_1.html"
  }
  
function changeSource2()
  {
  document.getElementById("frame1").src="assets/maps/map_2.html"
  }
  
function changeSource3()
  {
  document.getElementById("frame1").src="assets/maps/map_3.html"
  }

function changeSource4()
  {
  document.getElementById("frame1").src="assets/maps/map_4.html"
  }