function GetRandomHeader()  {

// increment maxindex if new image added as in randomh1.jpg randomh999.jpg

var maxIndex=142;

// Get a random integer between 0 and maxIndex.
var n = Math.round(Math.random()*maxIndex)

var image = "randomh"+n

document.write("<img src=images/randomh/"+ image + ".jpg>");
}