var images = new Array;

images.push("<img src='rotators/header1.jpg' style='margin-bottom: -3px;'>");
images.push("<img src='rotators/header2.jpg' style='margin-bottom: -3px;'>");
images.push("<img src='rotators/header3.jpg' style='margin-bottom: -3px;'>");
images.push("<img src='rotators/header4.jpg' style='margin-bottom: -3px;'>");


document.write(images[(Math.floor(Math.random() * images.length))]);