imgNum = Math.floor(Math.random() * 10);
document.write("<img src=\"/images/header_image_" + imgNum + ".jpg\" border=\"0\">");