#!/usr/bin/env python3

import datetime


def main():
    h, m = [int(x, base=10) for x in input().split(":")]
    t0 = datetime.datetime(2017, 6, 9, h, m)
    dt = datetime.timedelta(minutes=5)
    t1 = t0 + dt
    print("{:02d}:{:02d}".format(t1.hour, t1.minute))


if __name__ == '__main__':
    main()