int get_current_event_time();