import strutils
echo if "575" in stdin.readline(): "YES" else: "NO"