<!-- // JavaScript to interpolate random images into a page. 

var pic_no = 5; // Number of alternative images 
var pic = new Array(pic_no); // Array to hold filenames 
pic[0] = "/gifs/sky1.jpg"; 
pic[1] = "/gifs/sky2.jpg";
pic[2] = "/gifs/sky3.jpg"; 
pic[3] = "/gifs/sky4.jpg";
pic[4] = "/gifs/sky5.jpg";

function pickRandom(range) 
{ 
	if (Math.random)
		return Math.round(Math.random() * (range-1)); 
	else { 
		var now = new Date(); 
		return (now.getTime() / 2000) % range;
		}
} // Write out an IMG tag, using a randomly-chosen image name. 
var choice = pickRandom(pic_no); 
// -->