// JavaScript Document

banner = new Array();
banner[0] = "hdrpic1";
banner[1] = "hdrpic2";
banner[2] = "hdrpic3";
banner[3] = "hdrpic5";
banner[4] = "hdrpic6";
banner[5] = "hdrpic7";
banner[6] = "hdrpic8";
banner[7] = "hdrpic9";
banner[8] = "hdrpic10";

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