var banner_links = new Array(); var banner_img = new Array(); var banner_id = new Array(); var cur = 0; var old = 0; /** * notation: * id, link, url */ function setBanners() { var j = 0; for(var i = 0; i < arguments.length; i += 3 ) { banner_id[j] = arguments[i]; banner_links[j] = arguments[i + 1]; banner_img[j] = arguments[i + 2]; j++; } rotateBanners(); } /** * Ingesteld zodat de banners niet meer roteren. * Alleen op refresh van de pagina. */ function rotateBanners() { el = document.getElementById( "banner" ); cur = Math.floor(Math.random()*banner_links.length); old = cur; el.innerHTML = ''; //setTimeout('rotateBanners()',21000); }