require 'date'

Y, M, D = gets.split.map(&:to_i)

if Date.parse([Y, M, D].join('/')).jisx0301[0] == 'H'
  puts 'Yes'
else
  puts 'No'
end