已知看门狗的时钟频率是40KHZ，阅读看门狗的配置函数：
void IWDG_Config(void){
IWDG_WriteAccessCmd(IWDG_WriteAccess_Enable);
IWDG_SetPrescaler(IWDG_Prescaler_256);
IWDG_SetReload(1563);
IWDG_ReloadCounter();
IWDG_Enable();}
计算需要多长时间内必须喂狗系统才不会复位？