document.write('4184\n');