document.write ('1274')