document.write ('1142');