document.write (5072);