A positive integer whose divisor of 5 times is 5 more than its divisor. And the greatest common divisor between it and 10! (ie 1*2*3*...*10) is 35. What is this positive integer.
一个正整数，它的5倍的约数比它的约数多5个．并且它与10!(即1*2*3*…*10)的最大公约数是35．这个正整数是多少．
<gadget id="calculator">7 ** 4</gadget>
<output>2_401</output>

<gadget id="calculator">5 * 2_401</gadget>
<output>12_005</output>

<result>12_005</result>