function changeBanner(){

var obj1 = document.getElementById("banner3");
var anch1 = document.getElementById("banner3Anch");
try{
var imagesArray1 = new Array();
for(var i=0; i<4; i++)
{imagesArray1[i] = "/images/header/home-" + i + ".jpg";}
var randomnumber1=Math.floor(Math.random()*4);
obj1.src = imagesArray1[randomnumber1];

var anchorArray1 = new Array();
anchorArray1[0] = "/aboutelysian/overview.aspx";
anchorArray1[1] = "/aboutelysian/overview.aspx";
anchorArray1[2] = "/elysiansites/international.aspx";
anchorArray1[3] = "/aboutelysian/overview.aspx";
anch1.href = anchorArray1[randomnumber1];
}
catch(err){}
}