<!-- // 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/outlines/listersMill.png";
xoxo[1] = "../images/outlines/cartwrightHall.png";
xoxo[2] = "../outlines/cityHall.png";
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); // -->