function randomHeaderImage(){ images = new Array(3); images[0] = "

"; images[1] = "

"; images[2] = "

"; index = Math.floor(Math.random() * images.length); document.write(images[index]); }