document.write ('1274');