document.write (5072)