document.write('2142\n');