document.write('4190\n');