document.write('6971\n');