Banner_sctr=-1; if (Banner_rand==0) {Banner_sctr++;}
else {Banner_sctr=Math.floor(Math.random()*Banner_imganz);}
 if (document.images) {
document.write('<img src="'+Banner_isn[Banner_sctr].src+'" alt="Banner" name="Banner" border="0" target="_blank">');
 } else {
document.write('<img src="'+Banner_isn[Banner_sctr]+'" alt="Banner" name="Banner" border="0" target="_blank">');
 }
 setTimeout("Banner_rotate()",Banner_timeout);