s = gets.chomp

puts s.index('575') ? :YES : :NO