def get_month_as_int(monthString): 

    if monthString == 'January': 
        month_int = 1 
    elif monthString == 'February': 
        month_int = 2
    elif monthString == 'March':
        month_int = 3 
    elif monthString == 'April':
        month_int = 4
    elif monthString == 'May':
        month_int = 5
    elif monthString == 'June':
        month_int = 6
    elif monthString == 'July':
        month_int = 7
    elif monthString == 'August':
        month_int = 8 
    elif monthString == 'September':
        month_int = 9
    elif monthString == 'October':
        month_int = 10
    elif monthString == 'November':
        month_int = 11
    elif monthString == 'December':
        month_int = 12 
    else: 
        month_int = 0

    return month_int 

while True: 
    user_string = input()
    if user_string == '-1': 
        break 

    parts = user_string.split()

    if len(parts) == 3 and parts[1].endswith(','): 
        month = parts[0]
        day = parts[1][:-1]
        year = parts[2]

        month_int = get_month_as_int(month)

        if month_int !=0: 
            print(f" {month_int}/{int(day)}/{int(year)}")