// JScript File

var g_banners = new Array();

function RegBanner(id)
{
    g_banners.push(id);
}

function RefreshAllBanners()
{
    for (var i = 0; i < g_banners.length; ++i)
    {
        var cl;
        cl = document.getElementById(g_banners[i]);
        
        if (cl != null)
            RefreshBanner(cl);
    }
}

function RefreshBanner(ctrl)
{
    var htmlContent = ctrl.innerHTML;
    ctrl.innerHTML = "&nbsp;";
    ctrl.innerHTML = htmlContent;
}