if (RTC_GetCounter() == 0x0001517F)
  {
     RTC_SetCounter(0x0);
     /* Wait until last write operation on RTC registers has finished */
     RTC_WaitForLastTask();
  }
  
  /* Compute  hours */
  THH = TimeVar / 3600;
  /* Compute minutes */
  TMM = (TimeVar % 3600) / 60;
  /* Compute seconds */
  TSS = (TimeVar % 3600) % 60;

void RTC_IRQHandler(void)
{
if (RTC_GetITStatus(RTC_IT_SEC) != RESET)
{
/* Clear the corresponding RTC pending bit */
RTC->CRL &= (uint16_t)~RTC_IT_SEC;

rtc_sec_int = 1;

rtc.rtcSec++; // increment seconds
if(rtc.rtcSec > 59) // check seconds overflow
{
rtc.rtcSec = 0;
rtc.rtcMin++; // increment minutes
if(rtc.rtcMin > 59) // check minutes overflow
{
rtc.rtcMin = 0;
rtc.rtcHour++; // increment hours
rtc_hour_int = 1;
if(rtc.rtcHour > 23) // check hours overflow
{
rtc.rtcHour = 0;
rtc.rtcDay++; // increment days
UpdateDayOfWeek();
//if(rtc.rtcDay > daysInMonthCalc[rtc.rtcMonth-1]) // check days overflow
if(rtc.rtcDay > numDaysInMonth[rtc.rtcMonth])
{
rtc.rtcDay = 1;
rtc.rtcMonth++; // increment months
if(rtc.rtcMonth > 12) // check months overflow
{
rtc.rtcMonth = 1;
rtc.rtcYear++; // increment years
}
}
}
}
}

/* Wait until last write operation on RTC registers has finished */
RTC_WaitForLastTask();
}
}

if(IsLeapYear(2000 + rtc.rtcYear))
{
    numDaysInMonth[2] = 29;
}
else
{
    numDaysInMonth[2] = 28;
}