'use strict';

const inputs = require('fs').readFileSync('/dev/stdin', 'utf8').split('\n');

const input = inputs[0].split('').map(v => parseInt(v, 10));

const found = input.find(v => v === 7);

console.log(found ? 'Yes' : 'No');