#!/usr/bin/env python3

import datetime


def main():
    a0, b0, s0 = input().split()
    offset = datetime.timedelta(minutes=540 - int(float(s0[3:]) * 60))
    a = int(a0)
    b = int(b0)
    dt = datetime.datetime(year=2018, month=2, day=23,
                           hour=a, minute=b,
                           tzinfo=datetime.timezone(offset))
    dt0 = dt.astimezone(datetime.timezone.utc)
    print("{:02d}:{:02d}".format(dt0.hour, dt0.minute))


if __name__ == '__main__':
    main()