document.write ('1742');