function changeimage2(){
if (browsertype == "new") {
banneradcode2 = banneradcode2 + 1
if (banneradcode2 == "3") {
banneradcode2 = 0
}
imagesource = "banner-" + banneradcode2 + ".gif"
window.document.bannerad2.src = imagesource
thetimer2 = setTimeout("changeimage2()", 5000);
}
else if (browsertype == "old") {
}
}