picImages = new Array(
"images/header1.jpg",
"images/header2.jpg",
"images/header3.jpg",
"images/header4.jpg",
"images/header5.jpg",
"images/header6.jpg",
"images/header7.jpg"
);

thisPic = 0
imgCnt = picImages.length

function rotate() {if (document.images) {thisPic ++; if (thisPic == imgCnt) {thisPic = 0;};document.picFrame.src=picImages[thisPic];};};

randNum = Math.floor((Math.random() * imgCnt));
picName = picImages[randNum];
document.write('<img src="' + picName + '" border="0">');