document.write('1124\n');