banner1_sctr = -1;
if (banner1_rand == 0) {
  banner1_sctr++;
} else {
  banner1_sctr = Math.floor(Math.random() * banner1_imganz);
}
if (document.images) {
  document.write('<img src="' + banner1_isn[banner1_sctr].src + '" alt="" width=152 height=64 border=0 name=banner1>');
} else {
  document.write('<img src="' + banner1_isn[banner1_sctr] + '" alt="" width=152 height=64 border=0 name=banner1>');
}
setTimeout("banner1_rotate()",banner1_timeout);