from datetime import datetime

s=int(input())
dt_o = datetime.fromtimestamp(s)
print(dt_o.hour, dt_o.minute, dt_o.second)