header(); function header() { document.write('

'); }