function banner() {
};
banner = new banner();
number = 0;
banner[number++] = "<img src = images/header_image1.jpg border = 0 >"
banner[number++] = "<img src = images/header_image2.jpg border = 0 >"
banner[number++] = "<img src = images/header_image3.jpg border = 0 >"
banner[number++] = "<img src = images/header_image4.jpg border = 0 >"
banner[number++] = "<img src = images/header_image5.jpg border = 0 >"
banner[number++] = "<img src = images/header_image6.jpg border = 0 >"
//banner[number++] = "<a href=http://www.bolobolo.co.uk/description.php?eid=359&cid=24> <img src = http://www.bolobolo.co.uk/advertise/banner_kiran_desai.jpg border = 0> </a> "
//banner[number++] = "<img src = advertise/top3.jpg border = 0 alt='Holiday Accommodation & Tours in Australia'>"
//banner[number++] = "<img src = advertise/top4.jpg border = 0 alt='Holiday Accommodation & Tours in Australia'>"
//banner[number++] = "<img src = advertise/top5.jpg border = 0 alt='Holiday Accommodation & Tours in Australia'>"
increment = Math.floor(Math.random() * number);
document.write(banner[increment]);