function showFlashHeader() { document.getElementById('site_header').innerHTML='

'; }