function write_flash_home() { document.getElementById('flash_container_home').innerHTML = '

'; } function write_flash() { document.getElementById('flash_container').innerHTML = '

'; }