// JavaScript Banners Rotation
var banners = new Array(
'
',
'
',
'
',
'
',
'
',
'
'
);
var banners2 = new Array(
'
',
'
'
);
function rotate()
{
if (!document.images) return
while (current == old)
{
current = Math.floor(Math.random()*banners.length);
}
old = current;
document.getElementById('banner_pic').innerHTML = banners[current];
setTimeout('rotate()',6000);
}
function rotate2()
{
if (!document.images) return
while (current == old)
{
current = Math.floor(Math.random()*banners2.length);
}
old = current;
document.getElementById('banner_pic2').innerHTML = banners2[current];
setTimeout('rotate2()',7500);
}
',
'
',
'
',
'
',
'
'
);
var banners2 = new Array(
'