document.write ('693');