const input = require('fs').readFileSync('/dev/stdin', 'utf8');
const S = input.split('\n')[0];
console.log(S.includes('575') ? 'YES' : 'NO');