document.write (3967);