a = int(input()) s = (a % 100)*3 // 5 print(str(a // 100 + 10)+':'+str('%02d' % s))