document.write('2372\n');