document.write ('673');