document.write ('1072  ' );