console.log(require("fs").readFileSync("/dev/stdin", "utf8").includes('575') ? 'YES' : 'NO')