var how_many_banners = 5;
var now = new Date()
var sec = now.getSeconds()
var banner = sec % how_many_banners;
banner +=1;
if (banner==1) {
banner_file="products_header_1.gif";
}
if (banner==2) {
banner_file="products_header_2.gif";
}
if (banner==3) {
banner_file="products_header_3.gif";
}
if (banner==4) {
banner_file="products_header_4.gif";
}
if (banner==5) {
banner_file="products_header_5.gif";
}

document.write('<img src=\"site_images/page_headers/' + banner_file +'\" alt=\"Products\" height=\"99\" width=\"760\"/>')