/* This function handles External lines 9 to 5 interrupt request.  */
void EXTI9_5_IRQHandler(void)
/* This function handles External lines 9 to 5 interrupt request.  */
void EXTI9_5_IRQHandler(void)
{
  if(EXTI_GetITStatus(KEY_BUTTON_EXTI_LINE) != RESET)
  {  
    EXTI_ClearITPendingBit(KEY_BUTTON_EXTI_LINE);
    STM_EVAL_LEDOn(LED1);
    RTC_ClearFlag(RTC_FLAG_SEC);
    while(RTC_GetFlagStatus(RTC_FLAG_SEC) == RESET);
    RTC_SetAlarm(RTC_GetCounter()+ 3);
    RTC_WaitForLastTask();
    PWR_EnterSTANDBYMode();
  }
}