function flashHeader() { document.write('

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

'); }