document.write (4247)