// JavaScript to interpolate random images into a page.
    var img = 5;     // Number of alternative images
    var pic = new Array(img);  // Array to hold filenames
        
pic[0] = "img-hp/1.jpg";
pic[1] = "img-hp/2.jpg";
pic[2] = "img-hp/3.jpg";
pic[3] = "img-hp/4.jpg";
pic[4] = "img-hp/5.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(img);
// -->