divide a 10 Mhz signal by 1000 ...

[F1CHF]

I must divide a signal (10 Mhz) to 10 Khz (OCXO asservissement with a GPS)
I have an example in language "C" and I understand quite nothing !!! it use a 12F675 (clock is the 10 mhz signal)
and I would like to understand why I see all those "counts" for one division

I Hope somebody can help me, I think that I have to write in ASM language, not in Basic
ASM is not easy for me ...
so if somebody knows how to divide a 10 Mhz signal to get a 10 Khz output signal
I would appreciate
thanks
Francois F1CHF
here is the "code" see attached file (sorry I didn't know how to use the "code" function !)