<!--
function random_text()
{};
var random_text = new random_text();
// Set the number of text strings to zero to start
var number = 0;
// Incremental list of all possible Text
random_text[number++] = "<img src=images/banner1.jpg />"
random_text[number++] = "<img src=images/banner2.jpg />"
random_text[number++] = "<img src=images/banner3.jpg />"
random_text[number++] = "<img src=images/banner4.jpg />"
random_text[number++] = "<img src=images/banner5.jpg />"
random_text[number++] = "<img src=images/banner6.jpg />"
random_text[number++] = "<img src=images/banner7.jpg />"

// Create a random number with limits based on the number
// of possible random text strings
var random_number = Math.floor(Math.random() * number);
// Write out the random text to the browser
document.write(random_text[random_number]);
-->
