document.write('2442\n');