a = int(input())
time = a / (100 / 60)
print("{0:02d}:{1:02d}".format(int(time // 60) + 10, int(time % 60)))