func main()
	var s: []char :: cui@input()
	var ans: bool :: s.findStr("575", -1) <> -1
	do cui@print(ans ?("YES\n", "NO\n"))
end func