<!-- // JavaScript to interpolate random images into a page. 
var ic = 5; 
// Number of alternative images 
var xoxo = new Array(ic); 
// Array to hold filenames 
xoxo[0] = "images/flash1.jpg"; 
xoxo[1] = "images/flash2.jpg"; 
xoxo[2] = "images/flash3.jpg"; 
xoxo[3] = "images/flash4.jpg"; 
xoxo[4] = "images/flash5.jpg"; 
xoxo[5] = "images/flash6.gif"; 
xoxo[6] = "images/flash7.gif"; 
xoxo[7] = "images/flash8.gif"; 
xoxo[8] = "images/flash7.gif"; 

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); 
// -->