use onchip timers, configure them for external pulse count (16 bit mode). feed your sq wave to Tx pin. load divisor with value (65536-9999), on interrupt again load this value to THx TLx pair.

i think this will work.

abhishek