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/planned_maintenance.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/globally_online.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/automate_business_process.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/monitor_performance.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/property_asset_cost.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/rent_review.jpg border = 0 ></a>"
banner[number++] = "<a href='our_clients/index.php'><img src = images/finance_systems.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]);