images = new Array();
images[0] = "graphics/banner1.jpg"
images[1] = "graphics/banner2.jpg"
images[2] = "graphics/banner3.jpg"
images[3] = "graphics/banner4.jpg"

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