function header(url){ document.write('

'); }