// Listing available header images from images/header/*.jpg
header_imgs = new Array();
header_imgs[header_imgs.length] = "/images/header/header1.jpg";
header_imgs[header_imgs.length] = "/images/header/header2.jpg";
header_imgs[header_imgs.length] = "/images/header/header3.jpg";