let
time = get_time