document.write('1271\n');