import strutils
echo ["NO", "YES"][int "575" in stdin.readLine]