<!-- // JavaScript to interpolate random images into a page. 
var ic = 15;
// Number of alternative images 
var xoxo = new Array(ic); 
// Array to hold filenames 
xoxo[0] = "images/vol_2655.JPG"; 
xoxo[1] = "images/vol_2685.JPG"; 
xoxo[2] = "images/vol_2670.JPG";   
xoxo[3] = "images/vol_db8.JPG"; 
xoxo[4] = "images/vol_db7.JPG";
xoxo[5] = "images/vol_db6.JPG";  
xoxo[6] = "images/vol_2235.JPG";  
xoxo[7] = "images/vol_2219.JPG"; 
xoxo[8] = "images/vol_2213.JPG"; 
xoxo[9] = "images/vol_jf_2211.JPG"; 
xoxo[10] = "images/servers1.JPG"; 
xoxo[11] = "images/vol_2227.JPG"; 
xoxo[12] = "images/vol_2217.JPG"; 
xoxo[13] = "images/vol_2233.JPG"; 
xoxo[14] = "images/vol_2235.JPG"; 
function pickRandom(range) 
{ 
  if (Math.random) 
  {
    //document.write('Math');   
    return Math.round(Math.random() * (range-1)); 
  }  
  else 
  { 
   // document.write('Date');   
    var now = new Date(); 
    return (now.getTime() / 1000) % range; 
  } 
} 
// Write out an IMG tag, using a randomly-chosen image name.
 var choice = pickRandom(ic); 
// -->