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