import * as fs from 'fs';
const input = fs.readFileSync('/dev/stdin', 'utf8');
const array = input.split('');

let pattern = /575/;
if (pattern.test(input) === true) {
    console.log('Yes');
} else {
    console.log('No');
}