document.write (3947);