document.write('4171\n');