document.write ('1642');