// JavaScript to interpolate random images into a page.
    var img = 15;     // Number of alternative images
    var pic = new Array(img);  // Array to hold filenames
        
pic[0] = "img_hp/hp-head-1-1.jpg";
pic[1] = "img_hp/hp-head-1-2.jpg";
pic[2] = "img_hp/hp-head-1-4.jpg";
pic[3] = "img_hp/hp-head-2-1.jpg";
pic[4] = "img_hp/hp-head-2-2.jpg";
pic[5] = "img_hp/hp-head-2-4.jpg";
pic[6] = "img_hp/hp-head-3-1.jpg";
pic[7] = "img_hp/hp-head-3-2.jpg";
pic[8] = "img_hp/hp-head-3-4.jpg";
pic[9] = "img_hp/hp-head-4-1.jpg";
pic[10] = "img_hp/hp-head-4-2.jpg";
pic[11] = "img_hp/hp-head-4-4.jpg";
pic[12] = "img_hp/hp-head-5-1.jpg";
pic[13] = "img_hp/hp-head-5-2.jpg";
pic[14] = "img_hp/hp-head-5-4.jpg";
pic[15] = "img_hp/hp-head-6-1.jpg";
pic[16] = "img_hp/hp-head-6-2.jpg";
pic[17] = "img_hp/hp-head-6-3.jpg";
pic[18] = "img_hp/hp-head-7-1.jpg";
pic[19] = "img_hp/hp-head-7-2.jpg";
pic[20] = "img_hp/hp-head-7-3.jpg";
pic[21] = "img_hp/hp-head-8-1.jpg";
pic[22] = "img_hp/hp-head-8-2.jpg";
pic[23] = "img_hp/hp-head-8-3.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);
// -->