m,s=map(int,input().split(":"))
if s>54:m=-~23%24
print('%02d'%m +":"+ '%02d'%((s+5)%60))