function write_splash(id){ document.write('

'); }