function print_flash_1(flashfile, year) { document.getElementById('history_flash_1').innerHTML = '

'; } function print_flash_2(flashfile, year) { document.getElementById('history_flash_2').innerHTML = '

'; }