images = new Array();
images[0] = "graphics/top_banner1.jpg"
images[1] = "graphics/top_banner2.jpg"
images[2] = "graphics/top_banner3.jpg"
images[3] = "graphics/top_banner4.jpg"

function RandElement(IList)
{
    return(IList[Math.round(Math.random()*(IList.length-1))]);
}