document.write ('3996');