<!--
image_array1 = new Array(1);

image_array1[1] = "IMAGES/Headers/1.jpg";
image_array1[2] = "IMAGES/Headers/2.jpg";
image_array1[3] = "IMAGES/Headers/3.jpg";
image_array1[4] = "IMAGES/Headers/4.jpg";
image_array1[5] = "IMAGES/Headers/5.jpg";

function random(){

var number = Math.random();
number = number * 5;
number = number + .5;
number = Math.round(number);

document.images["headerimg"].src= image_array1[number];
}

//-->