/////////////////////////////////////////////////////////
//
// Map spot hiliting
//
function MapHilite(locn)
  {
  if (document.images)
    {
    var elem;

    /* turn off all elements... */
    elem = document.getElementById("cayton");
    elem.style.visibility = "hidden";
    elem = document.getElementById("reighton");
    elem.style.visibility = "hidden";
    elem = document.getElementById("tattershall");
    elem.style.visibility = "hidden";
    elem = document.getElementById("finlake");
    elem.style.visibility = "hidden";
    /* then turn on the one we want... */
    if (locn == "cayton" || locn == "reighton" || locn == "tattershall" || locn == "finlake")
      {
      elem = document.getElementById(locn)
      elem.style.visibility = "visible";
      }
    }
  return true;
  }
//
///// End of File ///////////////////////////////////////