document.write ('3942');