#!/usr/bin/env python3

import datetime


def main():
    a = int(input())
    t0 = datetime.datetime(year=2018, month=2, day=23, hour=10)
    dt = datetime.timedelta(minutes=a * 6 // 10)
    t1 = t0 + dt
    print("{:02d}:{:02d}".format(t1.hour, t1.minute))


if __name__ == '__main__':
    main()