function flash_title() { document.write('

'); } function flash_logos() { document.write('

'); }