"use strict";
    
const main = arg => {
    arg = arg.trim().split("\n");
    const N = String(arg[0].split(" ")[0]);
    
    console.log(N.split("").filter(n=>n==="7").length > 0 ? "Yes" : "No");
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));