banner4_sctr = -1;
if (banner4_rand == 0) {
  banner4_sctr++;
} else {
  banner4_sctr = Math.floor(Math.random() * banner4_imganz);
}
if (document.images) {
  document.write('<img src="' + banner4_isn[banner4_sctr].src + '" alt="" width=152 height=64 border=0 name=banner4 />');
} else {
  document.write('<img src="' + banner4_isn[banner4_sctr] + '" alt="" width=152 height=64 border=0 name=banner4 />');
}
setTimeout("banner4_rotate()",banner4_timeout);