window.addEventListener ? window.addEventListener("load",loadRandomBanner,false) : window.attachEvent("onload",loadRandomBanner);

function loadRandomBanner () {
	var load = 1;
	if(load) {
		current = $('current').value;
		var url = '/admin/tools/loadRandomBanner.php';
		new Ajax.Updater($('banner_holder'), url+'?current='+current, { method: 'get' });
		setTimeout(loadRandomBanner,8000);
	}
}