document.write('4186\n');