document.write('1261\n');