document.write('2242\n');