document.write (3842);