<!-- 
// JavaScript to interpolate random images into a page.
                               
var ic = 9;                     // Number of alternative images
var i = new Array(ic);          // Array to hold filenames
                                                      
i[0] = "news_block_header1.gif";
i[1] = "news_block_header2.gif";
i[2] = "news_block_header3.gif";
i[3] = "news_block_header4.gif";
i[4] = "news_block_header5.gif";
i[5] = "news_block_header6.gif";
i[6] = "news_block_header6.gif";
i[7] = "news_block_header6.gif";
i[8] = "news_block_header6.gif";
i[9] = "news_block_header6.gif";
//i[3] = "/images/face04.gif";
//i[4] = "/images/face05.gif";
//i[5] = "/images/face06.gif";
//i[6] = "/images/face07.gif";
//i[7] = "/images/face08.gif";
//i[8] = "/images/face09.gif";
//i[9] = "/images/face10.gif";
//i[10] = "/images/face11.gif";
//i[11] = "/images/face12.gif";
                               
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 SRC="' + i[choice] + '" BORDER=0>');
// -->

