document.write('1126\n');