document.write('2247\n');