#小数点以下第k位まで与えられる小数を10^k倍する.
def Decimal_to_Int(s:str,k:int,base=10) -> int:
    """

    s:小数点を含むかもしれない数
    k:小数点以下高々何位までか?
    base:基数
    """

    if "." not in s:
        return int(s,base)*pow(base,k)

    m=s.index(".")
    return int(s.replace(".",""))*pow(base,k-(len(s)-m-1))

a,b,S=input().split()
a=int(a); b=int(b)
T=Decimal_to_Int(S[3:],1)-9*10

minute=6*T

b+=minute
q,b=divmod(b,60)
a=(a+q)%24

print("{}:{}".format(str(a).zfill(2),str(b).zfill(2)))