function header_images() { document.write('

\n'); }