document.write ('742');