// JavaScript Functions for map
function changeSrc(oldImage,newImage)
{
  document.getElementById(oldImage).src=newImage
}