document.write('4193\n');