var ic = 3; // Number of alternative images 
var xoxo = new Array(ic); 
// Array to hold filenames 
xoxo[0] = "./images/Center/Services/machine-shop.jpg"; 
xoxo[1] = "./images/Center/Services/party.jpg"; 
xoxo[2] = "./images/Center/Services/pcsc.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(ic); 
document.writeln( '<img alt="The hard-working Physics staff" title="The hard-working Physics staff" src="' + xoxo[choice] + '">' );
