#include<stdio.h>
int main (void)
{
 int  a,b,c;
 
scanf("%d",&a);
if(a<100||a>999)
printf("No");

else
{ 
b=a%100;
c=b%10;
 
if(a/700==1||b/70==1||c/7==1)
printf("Yes");
else
printf("No");
 }
return 0;
}