"use strict"
// input data
function main(input) {
    const n = String(input.split('\n')[0].split(' '));
    if (n.includes('7')) {
        console.log('Yes');
    } else {
        console.log('No');
    }
}

// output
main(require('fs').readFileSync('/dev/stdin', 'utf8'));