var imageCount = 7;

	
  // not all browsers support random function
  function pickRandom(range) {
        if (Math.random) {
             return Math.round(Math.random() * (range-1));
         } else {
             var now = new Date();
             return (now.getTime() / 1000) % range;
         }
  }
 
  var selected = pickRandom(imageCount);
 
  function RandomizeImage() {
       document.images["randomImg"].src = '/randomimages/studentranLogo_bot' + selected + '.gif';
	  
  } 

//Billy removed the following 2008_11_07 because it was causing a javascript error
//window.onload = RandomizeImage();