Как преобразовать строку военного времени в стандартное время?

---

Я получаю эту ошибку ERROR: синтаксическая ошибка В или рядом с "," в этой строке

SELECT CONVERT(VARCHAR(7),CONVERT(time, OVERLAY(departure_time,3, 0,':')), 100) INTO cancel_time

Мне было интересно, как я могу исправить эту ошибку. Вот полная полная функция

CREATE OR REPLACE FUNCTION getCancellationTime(reserve_num int)
    returns time as
    $$
    DECLARE
    cancel_time time; --LOCAL VARIABLE
    BEGIN --casting military time string into standard time
        SELECT CONVERT(VARCHAR(7),CONVERT(time, OVERLAY(departure_time,3, 0,':')), 100) INTO cancel_time
        FROM PT.Flight_schedule_information A, PT.Reservation_Detail B
        WHERE A.flight_number = B.flight_number AND B.reservation_number = reserve_num;
        return convert(varchar(4),cancel_time + 12, 114); --return 12 hours before departure time.
    end;
    $$ language plpgsql;

Что я уже пробовал:

Я исследовал другие источники в интернете

---