function writeSplash(){ document.write('

'); }