document.write ('1142  ' );