#include<stdio.h>
int main(){char s
[4];scanf("%s",s)
;         if(s[0]
          =='7'||
          s[1]==
         '7'||s[
         2]=='7'
        ){puts(
        "Yes")
       ;}else{
      puts("N"
     "o");}}