document.write('1276')