// 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 = " "; ctrl.innerHTML = htmlContent; }