I've been reading http://www.keil.com/appnotes/files/apnt_105.pdf in order to learn how to best handle 8051 timer interrupts in Keil C. For calculating the starting value, it says:
#define TIMER0_COUNT 0xDC11 /* 10000h - ((11,059,200 Hz / (12 * FREQ)) - 17) */
I understand everything except the final -17. Where did this come from? Is it the number of cycles needed to initialize the timer or something like that?