document.write('2241\n');