window.onload = function() { if (document.getElementById('banner')) { banner(); } }
