var ir = true;
var timeout = 7000;
function RefreshBanner() {
    try {
        if (ir == true) { 
            var b = document.getElementById('ctl00_ti');
            var arg = Math.floor((Math.random() * 100000) % 6) + 1;
            if (b != null && arg != null && arg != undefined) {
                b.src = "/_images/banners/PM00" + arg + ".jpg";
                window.setTimeout("RefreshBanner()",timeout); 
            }
        }
    } catch (e) {
        ir = false;
    }
}