document.write('2274\n');