document.write ('1072');