function WriteBackTop(){ document.write( "