document.write (4247);