function hideOverBanner() {
    //document.getElementById("banner_top").style.display = 'none';
    document.getElementById("banner_top_over").style.display = 'none';
    document.getElementById("banner_top_under").style.display = '';
    }