document.write('6923\n');