stablegradients/pie-gem5-pairs huggingface dataset:
// Slower C++ solution:
#include<iostream>

#include<cstdio>

#include<iomanip>

#include<algorithm>

#include<cstring>

#include<cmath>

#include<vector>

#include<map>

using namespace std;

string s[10005];

int main() 

{

	int n;

    cin>>n;

    int flag=0;

    while (n!=0)

    {

        int m=n%10;

        if (m==7)

        {

            flag=1;

            break;

        }

        n=n/10;

    }

    if (flag)

    cout<<"Yes"<<endl;

    else

    cout<<"No"<<endl;

    return 0;

}




// Faster C++ solution for the same problem (measured speedup: 7.097275608346457x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main()

{

	int n;

	cin>>n;

	if(n/100!=7&&n%10!=7&&(n%100)/10!=7)

		cout<<"No"<<endl;

	else cout<<"Yes"<<endl;

	

	return 0; 

}

// Faster C++ solution for the same problem (measured speedup: 5.3153456308571565x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int  main(){

	int n,flag=0;

	cin>>n;

	while(n){

		int x=n%10;

		n/=10;

		if(x==7){

			flag=1;

			break;

		}

	}

	if(flag==1)cout<<"Yes"<<endl;

	else cout<<"No"<<endl;

}

// Faster C++ solution for the same problem (measured speedup: 5.3156717226991255x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

    int t;

    scanf("%d",&t);

    while(t>0)

    {

        int x=t%10;

        t/=10;

        if(x==7)

        {

            cout<<"Yes"<<endl;

            return 0;

        }

    }

    cout<<"No"<<endl;

}


// Faster C++ solution for the same problem (measured speedup: 5.313464683753129x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main(){

   int n;

   cin>>n;

   if(n%10==7)

      cout<<"Yes";

   else{

      n/=10;

      if(n%10==7)

      cout<<"Yes";

      else{

         n/=10;

         if(n==7)

            cout<<"Yes";

         else cout<<"No";

      }

   }

}


// Faster C++ solution for the same problem (measured speedup: 5.304607050990671x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

  string st;

  cin>>st;

  if(st[0]=='7' || st[1]=='7' || st[2]=='7'){

    cout<<"Yes"<<endl;

  }else{

    cout<<"No"<<endl;

  }

  

  return 0;

}

// Faster C++ solution for the same problem (measured speedup: 5.305793421880877x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;







int main()

{

    int N,digit,temp=0;

    cin >> N;

    while (N != 0)

    {

        digit = N % 10;

        if (digit == 7)

        {

            temp=1;

            break;

        }

        N = N / 10;

    }

    if (temp == 1)

    {

        cout << "Yes\n";

    }

    else

    {

        cout << "No\n";

    }

}


// Faster C++ solution for the same problem (measured speedup: 5.305705699455709x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

#define ll long long

#define nl "\n"

#define pi acos(-1)

#define fast ios_base::sync_with_stdio(false),cin.tie(NULL),cout.tie(NULL)

#define pcase printf("Case %d:\n",ca)

int ca=1;

using namespace std;

int main(){

    string a;

    cin>>a;

    bool ans = false;

    for(int i =0;i<3;i++){

        if(a[i]-'0'==7){

            ans = true;

        }

    }

    if(ans == true){

        cout<<"Yes"<<nl;

    }else{

    cout<<"No"<<nl;}

}


// Faster C++ solution for the same problem (measured speedup: 5.337545220113101x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include <bits/stdc++.h>

using namespace std;

int main()

{

    string s;

    int i;

    cin >> s;



    for( i=0; i<s.size(); i++)

    {

        if(s[i]=='7')

        {



            cout<<"Yes";

            return 0;

        }



    }

    cout<<"No";

}


// Faster C++ solution for the same problem (measured speedup: 5.336204644919388x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;



#define ll long long

#define fast_io ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);



int main()

{

    fast_io;

    int n;

    cin >> n;

    int a,cnt=0;

    while( n != 0)

    {

        a = n % 10;

        n = n / 10;

        if(a == 7)

        {

            cnt++;

            break;

        }

    }

    if(cnt > 0)

    {

        cout << "Yes\n";

    }

    else

    {

        cout << "No\n";

    }

}


// Faster C++ solution for the same problem (measured speedup: 5.3820024964653825x):
#include<stdio.h>



int main(){

	int a;

	scanf("%d", &a);

	while (a>0){

		if (a%10==7){

			printf("Yes\n");

			break;

		} else{

			if (a<10){

				printf("No\n");

			}

		}

		a/=10;

	}

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<cstdio>

#include<iomanip>

#include<algorithm>

#include<cstring>

#include<cmath>

#include<vector>

#include<map>

using namespace std;

string s[10005];

int main() 

{

	int n;

    cin>>n;

    int flag=0;

    while (n!=0)

    {

        int m=n%10;

        if (m==7)

        {

            flag=1;

            break;

        }

        n=n/10;

    }

    if (flag)

    cout<<"Yes"<<endl;

    else

    cout<<"No"<<endl;

    return 0;

}




// Faster C++ solution for the same problem (measured speedup: 7.099920533112849x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main()

{

	int n;

	cin>>n;

	if(n/100!=7&&n%10!=7&&(n%100)/10!=7)

		cout<<"No"<<endl;

	else cout<<"Yes"<<endl;

	

	return 0; 

}

// Faster C++ solution for the same problem (measured speedup: 5.31732648803064x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int  main(){

	int n,flag=0;

	cin>>n;

	while(n){

		int x=n%10;

		n/=10;

		if(x==7){

			flag=1;

			break;

		}

	}

	if(flag==1)cout<<"Yes"<<endl;

	else cout<<"No"<<endl;

}

// Faster C++ solution for the same problem (measured speedup: 5.3176527013964785x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

    int t;

    scanf("%d",&t);

    while(t>0)

    {

        int x=t%10;

        t/=10;

        if(x==7)

        {

            cout<<"Yes"<<endl;

            return 0;

        }

    }

    cout<<"No"<<endl;

}


// Faster C++ solution for the same problem (measured speedup: 5.315444839958545x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main(){

   int n;

   cin>>n;

   if(n%10==7)

      cout<<"Yes";

   else{

      n/=10;

      if(n%10==7)

      cout<<"Yes";

      else{

         n/=10;

         if(n==7)

            cout<<"Yes";

         else cout<<"No";

      }

   }

}


// Faster C++ solution for the same problem (measured speedup: 5.306583906243219x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

  string st;

  cin>>st;

  if(st[0]=='7' || st[1]=='7' || st[2]=='7'){

    cout<<"Yes"<<endl;

  }else{

    cout<<"No"<<endl;

  }

  

  return 0;

}

// Faster C++ solution for the same problem (measured speedup: 5.307770719255435x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;







int main()

{

    int N,digit,temp=0;

    cin >> N;

    while (N != 0)

    {

        digit = N % 10;

        if (digit == 7)

        {

            temp=1;

            break;

        }

        N = N / 10;

    }

    if (temp == 1)

    {

        cout << "Yes\n";

    }

    else

    {

        cout << "No\n";

    }

}


// Faster C++ solution for the same problem (measured speedup: 5.30768296413896x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

#define ll long long

#define nl "\n"

#define pi acos(-1)

#define fast ios_base::sync_with_stdio(false),cin.tie(NULL),cout.tie(NULL)

#define pcase printf("Case %d:\n",ca)

int ca=1;

using namespace std;

int main(){

    string a;

    cin>>a;

    bool ans = false;

    for(int i =0;i<3;i++){

        if(a[i]-'0'==7){

            ans = true;

        }

    }

    if(ans == true){

        cout<<"Yes"<<nl;

    }else{

    cout<<"No"<<nl;}

}


// Faster C++ solution for the same problem (measured speedup: 5.339534350354543x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include <bits/stdc++.h>

using namespace std;

int main()

{

    string s;

    int i;

    cin >> s;



    for( i=0; i<s.size(); i++)

    {

        if(s[i]=='7')

        {



            cout<<"Yes";

            return 0;

        }



    }

    cout<<"No";

}


// Faster C++ solution for the same problem (measured speedup: 5.3381932755718715x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;



#define ll long long

#define fast_io ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);



int main()

{

    fast_io;

    int n;

    cin >> n;

    int a,cnt=0;

    while( n != 0)

    {

        a = n % 10;

        n = n / 10;

        if(a == 7)

        {

            cnt++;

            break;

        }

    }

    if(cnt > 0)

    {

        cout << "Yes\n";

    }

    else

    {

        cout << "No\n";

    }

}


// Faster C++ solution for the same problem (measured speedup: 5.3840081944939255x):
#include <stdio.h>



int main(){

    int n;

    scanf("%d", &n);



    int a = n/100;

    int c = n%10;

    int b = (n%100)/10;

    if (a == 7 || b == 7 || c == 7){

        printf("Yes\n");

    }

    else{

        printf("No\n");

    }

    return 0;

}
// Slower C++ solution:
#include<iostream>

#include<cstdio>

#include<iomanip>

#include<algorithm>

#include<cstring>

#include<cmath>

#include<vector>

#include<map>

using namespace std;

string s[10005];

int main() 

{

	int n;

    cin>>n;

    int flag=0;

    while (n!=0)

    {

        int m=n%10;

        if (m==7)

        {

            flag=1;

            break;

        }

        n=n/10;

    }

    if (flag)

    cout<<"Yes"<<endl;

    else

    cout<<"No"<<endl;

    return 0;

}




// Faster C++ solution for the same problem (measured speedup: 7.099972218798916x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main()

{

	int n;

	cin>>n;

	if(n/100!=7&&n%10!=7&&(n%100)/10!=7)

		cout<<"No"<<endl;

	else cout<<"Yes"<<endl;

	

	return 0; 

}

// Faster C++ solution for the same problem (measured speedup: 5.317365196867773x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int  main(){

	int n,flag=0;

	cin>>n;

	while(n){

		int x=n%10;

		n/=10;

		if(x==7){

			flag=1;

			break;

		}

	}

	if(flag==1)cout<<"Yes"<<endl;

	else cout<<"No"<<endl;

}

// Faster C++ solution for the same problem (measured speedup: 5.317691412608365x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

    int t;

    scanf("%d",&t);

    while(t>0)

    {

        int x=t%10;

        t/=10;

        if(x==7)

        {

            cout<<"Yes"<<endl;

            return 0;

        }

    }

    cout<<"No"<<endl;

}


// Faster C++ solution for the same problem (measured speedup: 5.315483535097739x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main(){

   int n;

   cin>>n;

   if(n%10==7)

      cout<<"Yes";

   else{

      n/=10;

      if(n%10==7)

      cout<<"Yes";

      else{

         n/=10;

         if(n==7)

            cout<<"Yes";

         else cout<<"No";

      }

   }

}


// Faster C++ solution for the same problem (measured speedup: 5.306622536876983x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

  string st;

  cin>>st;

  if(st[0]=='7' || st[1]=='7' || st[2]=='7'){

    cout<<"Yes"<<endl;

  }else{

    cout<<"No"<<endl;

  }

  

  return 0;

}

// Faster C++ solution for the same problem (measured speedup: 5.307809358528907x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<iostream>

using namespace std;







int main()

{

    int N,digit,temp=0;

    cin >> N;

    while (N != 0)

    {

        digit = N % 10;

        if (digit == 7)

        {

            temp=1;

            break;

        }

        N = N / 10;

    }

    if (temp == 1)

    {

        cout << "Yes\n";

    }

    else

    {

        cout << "No\n";

    }

}


// Faster C++ solution for the same problem (measured speedup: 5.307721602773595x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<bits/stdc++.h>

#define ll long long

#define nl "\n"

#define pi acos(-1)

#define fast ios_base::sync_with_stdio(false),cin.tie(NULL),cout.tie(NULL)

#define pcase printf("Case %d:\n",ca)

int ca=1;

using namespace std;

int main(){

    string a;

    cin>>a;

    bool ans = false;

    for(int i =0;i<3;i++){

        if(a[i]-'0'==7){

            ans = true;

        }

    }

    if(ans == true){

        cout<<"Yes"<<nl;

    }else{

    cout<<"No"<<nl;}

}


// Faster C++ solution for the same problem (measured speedup: 5.339573220859485x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include <bits/stdc++.h>

using namespace std;

int main()

{

    string s;

    int i;

    cin >> s;



    for( i=0; i<s.size(); i++)

    {

        if(s[i]=='7')

        {



            cout<<"Yes";

            return 0;

        }



    }

    cout<<"No";

}


// Faster C++ solution for the same problem (measured speedup: 5.338232136314117x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;



#define ll long long

#define fast_io ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);



int main()

{

    fast_io;

    int n;

    cin >> n;

    int a,cnt=0;

    while( n != 0)

    {

        a = n % 10;

        n = n / 10;

        if(a == 7)

        {

            cnt++;

            break;

        }

    }

    if(cnt > 0)

    {

        cout << "Yes\n";

    }

    else

    {

        cout << "No\n";

    }

}


// Faster C++ solution for the same problem (measured speedup: 5.384047388757582x):
#include <stdio.h>

int main (){

	int n;

	scanf ("%d",&n);

	if (n%10==7||(n/10)%10==7||n/100==7){

		printf ("Yes\n");

	}else{

		printf("No\n");

	}

}
// Slower C++ solution:
#include<iostream>

#include<cstdio>

#include<iomanip>

#include<algorithm>

#include<cstring>

#include<cmath>

#include<vector>

#include<map>

using namespace std;

string s[10005];

int main() 

{

	int n;

    cin>>n;

    int flag=0;

    while (n!=0)

    {

        int m=n%10;

        if (m==7)

        {

            flag=1;

            break;

        }

        n=n/10;

    }

    if (flag)

    cout<<"Yes"<<endl;

    else

    cout<<"No"<<endl;

    return 0;

}




// Faster C++ solution for the same problem (measured speedup: 7.096088244710258x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main()

{

	int n;

	cin>>n;

	if(n/100!=7&&n%10!=7&&(n%100)/10!=7)

		cout<<"No"<<endl;

	else cout<<"Yes"<<endl;

	

	return 0; 

}

// Faster C++ solution for the same problem (measured speedup: 5.314456381451583x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int  main(){

	int n,flag=0;

	cin>>n;

	while(n){

		int x=n%10;

		n/=10;

		if(x==7){

			flag=1;

			break;

		}

	}

	if(flag==1)cout<<"Yes"<<endl;

	else cout<<"No"<<endl;

}

// Faster C++ solution for the same problem (measured speedup: 5.314782418738874x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

    int t;

    scanf("%d",&t);

    while(t>0)

    {

        int x=t%10;

        t/=10;

        if(x==7)

        {

            cout<<"Yes"<<endl;

            return 0;

        }

    }

    cout<<"No"<<endl;

}


// Faster C++ solution for the same problem (measured speedup: 5.3125757490272045x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;

int main(){

   int n;

   cin>>n;

   if(n%10==7)

      cout<<"Yes";

   else{

      n/=10;

      if(n%10==7)

      cout<<"Yes";

      else{

         n/=10;

         if(n==7)

            cout<<"Yes";

         else cout<<"No";

      }

   }

}


// Faster C++ solution for the same problem (measured speedup: 5.303719598133512x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

  string st;

  cin>>st;

  if(st[0]=='7' || st[1]=='7' || st[2]=='7'){

    cout<<"Yes"<<endl;

  }else{

    cout<<"No"<<endl;

  }

  

  return 0;

}

// Faster C++ solution for the same problem (measured speedup: 5.304905770545636x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}
// Slower C++ solution:
#include<iostream>

using namespace std;







int main()

{

    int N,digit,temp=0;

    cin >> N;

    while (N != 0)

    {

        digit = N % 10;

        if (digit == 7)

        {

            temp=1;

            break;

        }

        N = N / 10;

    }

    if (temp == 1)

    {

        cout << "Yes\n";

    }

    else

    {

        cout << "No\n";

    }

}


// Faster C++ solution for the same problem (measured speedup: 5.304818062796299x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

#define ll long long

#define nl "\n"

#define pi acos(-1)

#define fast ios_base::sync_with_stdio(false),cin.tie(NULL),cout.tie(NULL)

#define pcase printf("Case %d:\n",ca)

int ca=1;

using namespace std;

int main(){

    string a;

    cin>>a;

    bool ans = false;

    for(int i =0;i<3;i++){

        if(a[i]-'0'==7){

            ans = true;

        }

    }

    if(ans == true){

        cout<<"Yes"<<nl;

    }else{

    cout<<"No"<<nl;}

}


// Faster C++ solution for the same problem (measured speedup: 5.336652256749317x):
#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);



	if(N/100==7 || (N/10)%10 == 7 || N%10 == 7 ){

		printf("Yes\n");

	}

	else{

		printf("No\n");

	}



	return 0;

}