var ic = 7; // Number of alternative images 

var xoxo = new Array(ic); 

// Array to hold filenames 
xoxo[0] = "../img/asc-hdr-visu.jpg"; 
xoxo[1] = "../img/asc-hdr-poli.jpg"; 
xoxo[2] = "../img/asc-hdr-newm.jpg"; 
xoxo[3] = "../img/asc-hdr-heal.jpg"; 
xoxo[4] = "../img/asc-hdr-glob.jpg"; 
xoxo[5] = "../img/asc-hdr-cult.jpg"; 
xoxo[6] = "../img/asc-hdr-chil.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);