// JavaScript Document

<!-- // JavaScript to interpolate random images into a page. 
var ic = 12; // Number of alternative images 
var xoxo = new Array(ic); // Array to hold filenames 
xoxo[0] = "/resources/interface/header-rotate/header-image001.jpg"; 
xoxo[1] = "/resources/interface/header-rotate/header-image002.jpg";
xoxo[2] = "/resources/interface/header-rotate/header-image003.jpg"; 
xoxo[3] = "/resources/interface/header-rotate/header-image004.jpg";
xoxo[4] = "/resources/interface/header-rotate/header-image005.jpg";
xoxo[5] = "/resources/interface/header-rotate/header-image006.jpg";
xoxo[6] = "/resources/interface/header-rotate/header-image007.jpg";
xoxo[7] = "/resources/interface/header-rotate/header-image008.jpg";
xoxo[8] = "/resources/interface/header-rotate/header-image009.jpg";
xoxo[9] = "/resources/interface/header-rotate/header-image010.jpg";
xoxo[10] = "/resources/interface/header-rotate/header-image011.jpg";
xoxo[11] = "/resources/interface/header-rotate/header-image012.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); 

// -->