function mapflash() {document.getElementById('mapflash').innerHTML='

'; }