// JavaScript to interpolate random images into a page.
    var ic = 9;     // Number of alternative images
    var pic1 = new Array(ic);  // Array to hold filenames
    var pic1cap = new Array (ic); // Array to hold caption

//    var pic2 = new Array(ic);  // Array to hold filenames
        
pic1[0] = "1lvl_1.jpg";
pic1[1] = "1lvl_2.jpg";
pic1[2] = "1lvl_3.jpg";
pic1[3] = "1lvl_4.jpg";
pic1[4] = "1lvl_5.jpg";
pic1[5] = "1lvl_6.jpg";
pic1[6] = "1lvl_7.jpg";
pic1[7] = "1lvl_8.jpg";
pic1[8] = "1lvl_9.jpg";

pic1cap[0] = "Photographs taken by members of the Postdoc Community";

//pic2[0] = "headergraphic01.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 choice1 = pickRandom(ic);


document.writeln('<IMG SRC="/docs/IO/9009/'+pic1[choice1]+'" title="Photographs taken by members of the Postdoc Community"  alt="Photographs taken by members of the Postdoc Community" BORDER=0 width="443px" height="210">');

function addCh(str) {
document.getElementById('comment').value+=str;
//  document.form.comment.focus();
}