banner1='
'; document.getElementById('banner1').innerHTML = banner1; banner2='
'; document.getElementById('banner2').innerHTML = banner2; banner3='
'; document.getElementById('banner3').innerHTML = banner3;