document.write('2243\n');