def getMonthString(month):
return [None, "January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"][month]
date = raw_input("input date (mm/dd/yyyy) >")
month, day, year = map(int, date.split('/'))
print "%s %d, %d" % (getMonthString(month), day, year)