var icbanner = 3; 
var rotatebanner = new Array(icbanner);  

rotatebanner[0] = "/diversity/images/banner.jpg"; 
rotatebanner[1] = "/diversity/images/rotation/banner_02.jpg"; 
rotatebanner[2] = "/diversity/images/rotation/banner_03.jpg"; 

function pickRandom2(range) 
{ if (Math.random) return Math.round(Math.random() * (range-1)); 
else { 
var nowbanner = new Date(); 
return (nowbanner.getTime() / 1000) % range;
}
}
var choicebanner = pickRandom2(icbanner);