document.write ('1071  ' );