function load_banner_in_15(){
with(document.getElementById("dv_in15")){
innerHTML = "";
}}