document.write('3171\n');