def year(y, m):
    if m == "12":
        m = "01"
        y = int(y) + 1
    else:
        m = int(m) + 1
        m = "0" + str(m) if m < 10 else m
    return y, m
def month (y, m, d, a, b):
    if d <= a:
        d = int(d) + 2
        d = "0" + str(d) if d < 10 else d
    elif d == b:
        y, m = year(y, m)
        d = "01"
    else:
        y, m = year(y, m)
        d = "02"
    return y, m, d
if __name__ == '__main__':
    s = list(input())
    y, m, d = "".join(s[0:4]), "".join(s[5:7]), "".join(s[8:10])
    uruu = False if int(y) / 4 != 0 or (int(y)/100 == 0 and int(y)/400 != 0) else True
    small = ["04", "06", "09", "11"]
    if m in small:
        y, m, d = month(y, m, d, "28", "29")
    elif m == "02":
        if uruu:
            y, m, d = month(y, m, d, "27", "28")
        else:
            y, m, d = month(y, m, d, "26", "27")
    else:
        y, m, d = month(y, m, d, "29", "30")
    print("{}/{}/{}".format(y, m, d))