document.write ('1276');