document.write ('3806');