// Random Banner Rotation Script
var max = 13;
var thisBanner = 1;
var banner = new MakeBannerArray(max);
function MakeBannerArray(n) {
this.cleaned = false;
this.length = n;
for (var i = 1; i <= n; i++)
this[i] = "";
return this;
}
banner[1]='
<\/a>';
banner[2]='
<\/a>';
banner[3]='
<\/a>';
banner[4]='
<\/a>';
banner[5]='
<\/a>';
banner[6]='
<\/a>';
banner[7]='
<\/a>';
banner[8]='
<\/a>';
banner[9]='
<\/a>';
banner[10]='
<\/a>';
banner[11]='
<\/a>';
banner[12]='
<\/a>';
banner[13]='
<\/a>';
function rand(n) {
rnum=Math.floor(n*Math.random())+1;
return rnum;
}
function setBanner() {
if (!banner.cleaned) {
if (window.location.href.indexOf('hostingprod') > 0)
for (var i = 1, j = banner.length; i < j; i++)
banner[i] = banner[i].replace(/src="http/g, 'src="https');
banner.cleaned = true;
}
thisBanner=rand(max);
}