document.write (5247)