document.write ('1272');