void serial_init(void)
{		     //Configure UART
  T3CON = 0x83;      //configure timer 3...
  T3FD  = 0x12;      //...for 9600 baud
  SCON  = 0x52;
}