document.write ('1272')