/* Map */
function show(thingId)
{
var targetElement;
targetElement = document.getElementById(thingId) ;
targetElement.style.display = "" ;
}

function hide(thingId)
{
var targetElement;
targetElement = document.getElementById(thingId) ;
targetElement.style.display = "none" ;
}

/* Gallery */

function LoadGallery(pictureName,imageFile)
{
  document.getElementById(pictureName).src = imageFile;
}