void rtc_init()
{
  PREINT=0X0000392;     /* (PCLK/32768)-1  */
  PREFRAC=0X00004380;   /* PCLK-((PREINT+1)*32768)    */
  SEC=0x09;
  MIN=0x09;
  HOUR=0x06;
  DOM=31;
  MONTH=12;
  YEAR=2008;
  CCR=0x01;
}