function RandomPic() {
    setMenuColor();
    Pics   = new Array();
    Pics[0]="4thOfJulyInThePark2010";
    Pics[1]="DryCreekElementary";
    Pics[2]="EggHunt2011";
    Pics[3]="Icecream2010";
    Pics[4]="Lights2010";
    Pics[5]="WalnutHillsElementary";
    Pics[6]="WalnutHillsPark";
    Pics[7]="WalnutHillsSign";
    Pics[8]="EggHunt2011_2";
    Pics[9]="Dumpster1_2011";
    Pics[10]="Dumpster2_2011";
    Pics[11]="EggHunt2011_3";
    Pics[12]="4thOfJuly2011_1";
    Pics[13]="4thOfJuly2011_2";
    Pics[14]="4thOfJuly2011_3";
    Pics[15]="4thOfJuly2011_4";
    Pics[16]="4thOfJuly2011_5";
    Pics[17]="4thOfJuly2011_6";
    Pics[18]="4thOfJuly2011_7";
    Pics[19]="4thOfJuly2011_8";
    Pics[20]="4thOfJuly2011_9";
    Pics[21]="NationalNightOut2011_1";
    Pics[22]="NationalNightOut2011_2";
    Pics[23]="NationalNightOut2011_3";
    Pics[24]="NationalNightOut2011_4";
    Pics[25]="NationalNightOut2011_5";
    Pics[26]="NationalNightOut2011_6";
    Pics[27]="NationalNightOut2011_7";
    Pics[28]="NationalNightOut2011_8";
    Pics[29]="Landscape2011_1";
    Pics[30]="Landscape2011_2";
    Pics[31]="Landscape2011_3";
    
    var RandomNum=0;
    
    if (document.getElementById("RandomImg")) {
      RandomNum=Math.floor(Math.random() * Pics.length);
      document.getElementById("RandomImg").src="/Images/"+Pics[RandomNum]+"_sm.jpg";
      document.getElementById("RandomImgLink").href="/Images/"+Pics[RandomNum]+".jpg";
    }
    if (document.getElementById("RandomImg2")) {
      RandomNum=Math.floor(Math.random() * Pics.length);
      document.getElementById("RandomImg2").src="/Images/"+Pics[RandomNum]+"_sm.jpg";
      document.getElementById("RandomImgLink2").href="/Images/"+Pics[RandomNum]+".jpg";
    }
  }
  
  function setMenuColor() {
    var full=location.href.substring(0, location.href.lastIndexOf('\/'));
    var file=location.href.substring(full.length+1, location.href.length+1);
    //alert(file);
    // Set the font color of the current menu item
    if (document.getElementById(file)) {
      document.getElementById(file).style.color="#f2cd0d";
    }
  }