document.write('2212\n');