// rotate Images on refresh
var theImages = new Array()
theImages[0] = '../App_Themes/Marketing/img/banner_home01.gif'
theImages[1] = '../App_Themes/Marketing/img/banner_home02.gif'
theImages[2] = '../App_Themes/Marketing/img/banner_home04.gif'
theImages[3] = '../App_Themes/Marketing/img/banner_home05.gif'
//theImages[4] = '../App_Themes/Marketing/img/banner_home03.gif'


var j = 0
var p = theImages.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages[i]
}
var whichImage = Math.round(Math.random()*(p-1));
function showImage(){
document.write('<img src="'+theImages[whichImage]+'" name="mainPic01">');
}