voidupdate_time_txt(lv_timer_t*timer){lv_obj_t*time_label=(lv_obj_t*)timer-