// DirectionsMaps.js

/*
  function getSelection()
    returns the name of the map currently selected
  
  function setMap(fileName)
    sets the map to whatever filename is given
*/

function changeMap() {
   if (getSelection() == "Stanford campus")
    setMap("Maps/StanfordMap1.gif");  
   else if (getSelection() == "Around the KKC")
    setMap("Maps/StanfordMap2.gif");
  else if (getSelection() == "Palo Alto Area")
    setMap("Maps/PaloAltoMap.gif");
  else if (getSelection() == "Bay Area")
    setMap("Maps/BayAreaMap.gif");
  else if (getSelection() == "California")
    setMap("Maps/CaliforniaMap.gif");
}