<!--
 var ready = 0;

function getpics () {
  if (document.images) {            
    e = new Image;  e.src = "/maps/highlights/empty.gif";
    ABAH = new Image;  ABAH.src = "/maps/highlights/ABAH.gif";
    BohH = new Image;  BohH.src = "/maps/highlights/BohH.gif";
    BH = new Image;  BH.src = "/maps/highlights/BH.gif";
    Chem = new Image;  Chem.src = "/maps/highlights/Chem.gif";
    ChPk = new Image;  ChPk.src = "/maps/highlights/ChPk.gif";
    CinaH = new Image;  CinaH.src = "/maps/highlights/CinaH.gif";
    DAdB = new Image;  DAdB.src = "/maps/highlights/DAdB.gif";
    EduE = new Image;  EduE.src = "/maps/highlights/EduE.gif";
    Engr = new Image;  Engr.src = "/maps/highlights/Engr.gif";
    GoldH = new Image;  GoldH.src = "/maps/highlights/GoldH.gif";
    GH = new Image;  GH.src = "/maps/highlights/GH.gif";
    HS = new Image;  HS.src = "/maps/highlights/HS.gif";
    HHa = new Image;  HHa.src = "/maps/highlights/HHa.gif";
    HH = new Image;  HH.src = "/maps/highlights/HH.gif";
    H = new Image;  H.src = "/maps/highlights/H.gif";
    JApts = new Image;  JApts.src = "/maps/highlights/JApts.gif";
    KPlz = new Image;  KPlz.src = "/maps/highlights/KPlz.gif";
    KSC = new Image;  KSC.src = "/maps/highlights/KSC.gif";
    L = new Image;  L.src = "/maps/highlights/L.gif";
    LSBE = new Image;  LSBE.src = "/maps/highlights/LSBE.gif";
    LSci = new Image;  LSci.src = "/maps/highlights/LSci.gif";
    LSH = new Image;  LSH.src = "/maps/highlights/LSH.gif";
    MPAC = new Image;  MPAC.src = "/maps/highlights/MPAC.gif";
    MWAH = new Image;  MWAH.src = "/maps/highlights/MWAH.gif";
    MonH = new Image;  MonH.src = "/maps/highlights/MonH.gif";
    OApts = new Image;  OApts.src = "/maps/highlights/OApts.gif";
    RDC = new Image;  RDC.src = "/maps/highlights/RDC.gif";
    SMed = new Image;  SMed.src = "/maps/highlights/SMed.gif";
    SCC = new Image;  SCC.src = "/maps/highlights/SCC.gif";
    SpHC = new Image;  SpHC.src = "/maps/highlights/SpHC.gif";
    SApts = new Image;  SApts.src = "/maps/highlights/SApts.gif";
    SSB = new Image;  SSB.src = "/maps/highlights/SSB.gif";
    VH = new Image;  VH.src = "/maps/highlights/VH.gif";
    VKH = new Image;  VKH.src = "/maps/highlights/VKH.gif";
    WWFH = new Image;  WWFH.src = "/maps/highlights/WWFH.gif";
    WMH = new Image;  WMH.src = "/maps/highlights/WMH.gif";
    ready = 1;
  }
}

function on (img) {
  if (ready) {
    document.images.highlighter.src = eval(img + '.src');
  }
}

function off () {
  if (ready) {
    document.images.highlighter.src = e.src;
  }
}

// Stop hiding from old browsers -->