document.write('9945\n');