document.write ('3822');