"use strict";
function main(input) {
    var line = input.split("\n");
    let digits = line[0];
    if(digits[0]=== "7" || digits[1] === "7" || digits[2] === "7") console.log("Yes");
    else console.log("No");
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));