What is the function in C for interrupt service routine of timer1.
http://www.keil.com/support/man/docs/c51/c51_le_interruptfuncs.htm