document.write ('10673');