document.write ('3944');