void display_time();