s1,s2=gets.chomp.split.map(&:to_s)
day = 31
day += 1 if s2 == "Sun" || s2 == "Sat"
if s1 == "Sun" || s1 == "Sat"
    puts "8/#{day + 1}"
else
    puts "8/31"
end