a = int(input()) q, r = divmod(a, 100) hour = str(10 + q) minute = 6*(r//10) print('{}:{:02}'.format(hour, minute))