function banner() {
};
banner = new banner();
number = 0;
//banner[number++] = "<a href='client_listing_na.php'><img src = images/header_txu.jpg border = 0 ></a>"
//banner[number++] = "<a href='client_listing.php'><img src = images/header_reliant.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/header1.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/header2.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/header3.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/header4.jpg border = 0 ></a>"
//banner[number++] = "<img src = images/top5.jpg border = 0 alt='Holiday Accommodation & Tours in Australia'>"
increment = Math.floor(Math.random() * number);
document.write(banner[increment]);