import { readFileSync } from 'fs'


const s = readFileSync(0, 'utf-8')
console.log(0 <= s.indexOf('575') ? 'YES' : 'NO')