document.write('2273\n');