document.write('8670\n');