def strmin(t):
    return "{:}:{:02}".format(int(t//60)%24, int(t%60))

start = 10*60
t = 60*(int(input()))/100
print(strmin(start + t))