<!-- // JavaScript to interpolate random images into a page. 
var ic = 3; // Number of alternative images 
var xoxo = new Array(ic); // Array to hold filenames 

xoxo[0] = "images/HeaderPix1.jpg"; 
xoxo[1] = "images/HeaderPix2.jpg";
xoxo[2] = "images/HeaderPix3.jpg";


function pickRandom(range) {
if (Math.random) 
return Math.round(Math.random() * (range-1)); 
else { 
var now = new Date(); 
return (now.getTime() / 1000) % range; 
}
}
// Write out an IMG tag, using a randomly-chosen image name. 
var choice = pickRandom(ic); 
// -->