print('%d:%02'*(10+int(input())//100,int(input())*0.6%60))