function hidediv(){if(document.getElementById){document.getElementById('fixed_banner').style.visibility='hidden';}
else{if(document.layers){document.fixed_banner.visibility='hidden';}
else{document.all.fixed_banner.style.visibility='hidden';}}}
function showdiv(){if(document.getElementById){document.getElementById('fixed_banner').style.visibility='visible';}
else{if(document.layers){document.fixed_banner.visibility='visible';}
else{document.all.fixed_banner.style.visibility='visible';}}}