stablegradients/pie-gem5-pairs huggingface dataset:
// Slower C++ solution:
#include <bits/stdc++.h>

using namespace std;

#define FOR(I,A,B)          for(int I=A; I<B; I++)

#define LL                  long long

#define PII                 pair<int,int>

#define MOD                 1000000007

#define MAX                 1000005

#define READ(A)             freopen(A,"r",stdin)



int main() {

    char S[4];

    bool B=false;

    scanf("%s",S);

    FOR(I,0,3){

        if(S[I]=='7'){

            B=true;

        }

    }

    if(B)printf("Yes\n");

    else printf("No\n");

}


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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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

using namespace std;

int main(){

    string n;

    int i;

    cin>>n;

    bool yes=false;

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

        if(n[i]=='7'){

            yes=true;

            cout<<"Yes"<<endl;

            break;

        }



    }

    if(yes==false){

        cout<<"No"<<endl;

    }





    return 0;

}


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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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

#define mp make_pair

#define ff first

#define ss second

#define pb push_back

#define w(x) scanf("%d",&x);while(x--)

#define rep(i,a,b) for(i=a;i<=b;i++)

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

#define pi 2*acos(0.0)

using namespace std;

typedef long long ll;

typedef pair<ll,ll> pll;

typedef vector<int> vi;



long long int mod=1e9+9;

const int N=100000;

int t=3,i,j,cs=0,n,a,b;

string s;



int main()

{

    cin>>s;

   for(auto it:s)

    if(it=='7'){

        cout<<"Yes"<<endl;

        return 0;

    }

        cout<<"No"<<endl;

}








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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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

using namespace std;



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

typedef long long ll;



bool mew(int n) {

    while (n) {

        if (n%10 == 7) {

            return true;

        }

        n /= 10;

    }

    return false;

}



int main(){

    // ===================

    MorsheD;

    // freopen("in.txt", "r", stdin);

    // freopen("out.txt", "w", stdout);

    // ===================



    int n;

    cin >> n;



    if (mew(n)) {

        cout << "Yes" << "\n";

    } else {

        cout << "No" << "\n";

    }



    return 0;

}


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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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



using namespace std;



int main() {





    char a[3];

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

        cin>>a[i];

        if(a[i]=='7') {cout<<"Yes"<<endl; return 0;}

    }

    cout<<"No"<<endl;

    return 0;

}


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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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

#include<string>

using namespace std;



int main()

{

    bool con = false;

    string n;

    cin >> n;



    for(int i = 0; i < n.size(); i++)

    {

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

            con = true;

    }



    if(con)

        cout << "Yes";

    else

        cout << "No";



    return 0;

}


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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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

using namespace std;



int main()

{

    int n,re,flag;

    while(cin>>n)

    {

        flag=0;

        while(n!=0)

        {

            re=n%10;

            if(re==7)

            {

                flag=1;

                break;

            }

            n=n/10;

        }

        if(flag==1)

            cout<<"Yes";

        else

            cout<<"No";

    }

}


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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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



using namespace std;



typedef long long ll;



int main()

{

    ll a;



    cin>> a;



    ll b = a;



        ll c3 = a %10;

        a /= 10;



        ll c2 = a % 10;

        a/=10;



        ll c1 = a %10;



    if(c1 == 7 || c2 == 7 || c3 == 7) cout<< "Yes\n";



    else cout<< "No\n";



	return 0;

}




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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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

#define ll long long

#define L long

#define endl "\n"

#define _START_ ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);

#define _END_ return 0;

using namespace std;



int main()

{   

    _START_



    int n;

    cin >> n;

    while (n != 0)

    {

        if (n % 10 == 7)

        {

            cout<< "Yes";

            return 0;

        }

        n /= 10;

    }

    cout<< "No";



    _END_

}

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

 

int main (){

	int i;

	scanf ("%d", &i);

	

	int num1 = i / 100;

	int num2 = (i / 10) % 10;

	int num3 = i % 10;

	

	while (i > 0){

		if (num1 == 7) {

			printf ("Yes");

			break;

		}

		else if (num2 == 7){

			printf ("Yes");

			break;

		}

		else if (num3 == 7){

			printf ("Yes");

			break;

		}

		else{

			printf ("No");

			break;

		}

	}

	return 0;

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

using namespace std;

int main()

{

    char a[5];

    cin>>a;

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

    {

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

        {

            cout<<"Yes"<<endl;

            return 0;

        }

    }

    cout<<"No"<<endl;

    return 0;

}

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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

#include<algorithm>

#include<cmath>

#include<cstdlib>

#include<cstdio>

#include<cstring>

#include<iomanip>

#include<string>

#include<set>

#include<map>

#include<vector>

#include<queue>

#include<stack>

#include<utility>

#define PI acos(-1.0)

using namespace std;

int main(){

	char a[3];

	for(int i =0;i < 3;i++) cin >> a[i];

	int flag = 0;

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

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

			flag = 1;

			break;

		} 

	}

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

	else cout << "No" << endl;

	return 0;

}

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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;

typedef long long ll;

int main()

{

    string s;  cin>>s;

    if(s.find('7')!=-1)

        cout<<"Yes";

    else

        cout<<"No";

    return 0;

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;

string s;

int main(){

	ios::sync_with_stdio(0);

	cin.tie(0);

	cin>>s;

	if(s[0]=='7'||s[1]=='7'||s[2]=='7') return cout<<"Yes",0;

	cout<<"No";

	return 0;

}

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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;



char s[5];

int n,flag;



int main()

{

	scanf("%s",s);

	n=strlen(s);

	for(int i=0;i<n;i++)

		{

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

				{

					printf("Yes");

					flag++;

					break;

				}

			

		}

	if(flag==0)printf("No");

	return 0;



	return 0;

}

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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;



int main(){

    int n; cin >> n;

    while(n > 0){

        if(n%10 == 7){

            cout << "Yes\n";

            return 0;

        }

        n /= 10;

    }

    cout << "No\n";

    return 0;

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;

#define FOR(I,A,B)          for(int I=A; I<B; I++)

#define LL                  long long

#define PII                 pair<int,int>

#define MOD                 1000000007

#define MAX                 1000005

#define READ(A)             freopen(A,"r",stdin)



int main() {

    char S[4];

    bool B=false;

    scanf("%s",S);

    FOR(I,0,3){

        if(S[I]=='7'){

            B=true;

        }

    }

    if(B)printf("Yes\n");

    else printf("No\n");

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;

int main(){

    string n;

    int i;

    cin>>n;

    bool yes=false;

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

        if(n[i]=='7'){

            yes=true;

            cout<<"Yes"<<endl;

            break;

        }



    }

    if(yes==false){

        cout<<"No"<<endl;

    }





    return 0;

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

#define mp make_pair

#define ff first

#define ss second

#define pb push_back

#define w(x) scanf("%d",&x);while(x--)

#define rep(i,a,b) for(i=a;i<=b;i++)

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

#define pi 2*acos(0.0)

using namespace std;

typedef long long ll;

typedef pair<ll,ll> pll;

typedef vector<int> vi;



long long int mod=1e9+9;

const int N=100000;

int t=3,i,j,cs=0,n,a,b;

string s;



int main()

{

    cin>>s;

   for(auto it:s)

    if(it=='7'){

        cout<<"Yes"<<endl;

        return 0;

    }

        cout<<"No"<<endl;

}








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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;



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

typedef long long ll;



bool mew(int n) {

    while (n) {

        if (n%10 == 7) {

            return true;

        }

        n /= 10;

    }

    return false;

}



int main(){

    // ===================

    MorsheD;

    // freopen("in.txt", "r", stdin);

    // freopen("out.txt", "w", stdout);

    // ===================



    int n;

    cin >> n;



    if (mew(n)) {

        cout << "Yes" << "\n";

    } else {

        cout << "No" << "\n";

    }



    return 0;

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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



using namespace std;



int main() {





    char a[3];

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

        cin>>a[i];

        if(a[i]=='7') {cout<<"Yes"<<endl; return 0;}

    }

    cout<<"No"<<endl;

    return 0;

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

#include<string>

using namespace std;



int main()

{

    bool con = false;

    string n;

    cin >> n;



    for(int i = 0; i < n.size(); i++)

    {

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

            con = true;

    }



    if(con)

        cout << "Yes";

    else

        cout << "No";



    return 0;

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;



int main()

{

    int n,re,flag;

    while(cin>>n)

    {

        flag=0;

        while(n!=0)

        {

            re=n%10;

            if(re==7)

            {

                flag=1;

                break;

            }

            n=n/10;

        }

        if(flag==1)

            cout<<"Yes";

        else

            cout<<"No";

    }

}


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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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



using namespace std;



typedef long long ll;



int main()

{

    ll a;



    cin>> a;



    ll b = a;



        ll c3 = a %10;

        a /= 10;



        ll c2 = a % 10;

        a/=10;



        ll c1 = a %10;



    if(c1 == 7 || c2 == 7 || c3 == 7) cout<< "Yes\n";



    else cout<< "No\n";



	return 0;

}




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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

#define ll long long

#define L long

#define endl "\n"

#define _START_ ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);

#define _END_ return 0;

using namespace std;



int main()

{   

    _START_



    int n;

    cin >> n;

    while (n != 0)

    {

        if (n % 10 == 7)

        {

            cout<< "Yes";

            return 0;

        }

        n /= 10;

    }

    cout<< "No";



    _END_

}

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

#include <string.h>



int main(){

	int N;

	scanf("%d",&N);

	int a;

	int b;

	int c;

	a = N%10;

	b = N/10%10;

	c = N/100;

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

		printf("Yes");

	}else{

		printf("No");

	}

return 0;

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

using namespace std;

int main()

{

    char a[5];

    cin>>a;

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

    {

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

        {

            cout<<"Yes"<<endl;

            return 0;

        }

    }

    cout<<"No"<<endl;

    return 0;

}

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

#include <string.h>

int main() {

	char angka[10];

	scanf("%s", &angka);

	int ada = 0;



	for(int i = 0 ; i < strlen(angka); i++) {

		if (angka[i] == '7'){

			ada = 1;

		}

	}

	if (ada ==1){

		printf("Yes");

		

	}

	else {

		printf("No");

	}

	

	puts(" ");

	

	

	return 0;

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

#include<algorithm>

#include<cmath>

#include<cstdlib>

#include<cstdio>

#include<cstring>

#include<iomanip>

#include<string>

#include<set>

#include<map>

#include<vector>

#include<queue>

#include<stack>

#include<utility>

#define PI acos(-1.0)

using namespace std;

int main(){

	char a[3];

	for(int i =0;i < 3;i++) cin >> a[i];

	int flag = 0;

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

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

			flag = 1;

			break;

		} 

	}

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

	else cout << "No" << endl;

	return 0;

}

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

#include <string.h>

int main() {

	char angka[10];

	scanf("%s", &angka);

	int ada = 0;



	for(int i = 0 ; i < strlen(angka); i++) {

		if (angka[i] == '7'){

			ada = 1;

		}

	}

	if (ada ==1){

		printf("Yes");

		

	}

	else {

		printf("No");

	}

	

	puts(" ");

	

	

	return 0;

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

using namespace std;

typedef long long ll;

int main()

{

    string s;  cin>>s;

    if(s.find('7')!=-1)

        cout<<"Yes";

    else

        cout<<"No";

    return 0;

}


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

#include <string.h>

int main() {

	char angka[10];

	scanf("%s", &angka);

	int ada = 0;



	for(int i = 0 ; i < strlen(angka); i++) {

		if (angka[i] == '7'){

			ada = 1;

		}

	}

	if (ada ==1){

		printf("Yes");

		

	}

	else {

		printf("No");

	}

	

	puts(" ");

	

	

	return 0;

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

using namespace std;

string s;

int main(){

	ios::sync_with_stdio(0);

	cin.tie(0);

	cin>>s;

	if(s[0]=='7'||s[1]=='7'||s[2]=='7') return cout<<"Yes",0;

	cout<<"No";

	return 0;

}

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

#include <string.h>

int main() {

	char angka[10];

	scanf("%s", &angka);

	int ada = 0;



	for(int i = 0 ; i < strlen(angka); i++) {

		if (angka[i] == '7'){

			ada = 1;

		}

	}

	if (ada ==1){

		printf("Yes");

		

	}

	else {

		printf("No");

	}

	

	puts(" ");

	

	

	return 0;

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

using namespace std;



char s[5];

int n,flag;



int main()

{

	scanf("%s",s);

	n=strlen(s);

	for(int i=0;i<n;i++)

		{

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

				{

					printf("Yes");

					flag++;

					break;

				}

			

		}

	if(flag==0)printf("No");

	return 0;



	return 0;

}

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

#include <string.h>

int main() {

	char angka[10];

	scanf("%s", &angka);

	int ada = 0;



	for(int i = 0 ; i < strlen(angka); i++) {

		if (angka[i] == '7'){

			ada = 1;

		}

	}

	if (ada ==1){

		printf("Yes");

		

	}

	else {

		printf("No");

	}

	

	puts(" ");

	

	

	return 0;

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

using namespace std;



int main(){

    int n; cin >> n;

    while(n > 0){

        if(n%10 == 7){

            cout << "Yes\n";

            return 0;

        }

        n /= 10;

    }

    cout << "No\n";

    return 0;

}


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

#include <string.h>

int main() {

	char angka[10];

	scanf("%s", &angka);

	int ada = 0;



	for(int i = 0 ; i < strlen(angka); i++) {

		if (angka[i] == '7'){

			ada = 1;

		}

	}

	if (ada ==1){

		printf("Yes");

		

	}

	else {

		printf("No");

	}

	

	puts(" ");

	

	

	return 0;

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

using namespace std;

#define FOR(I,A,B)          for(int I=A; I<B; I++)

#define LL                  long long

#define PII                 pair<int,int>

#define MOD                 1000000007

#define MAX                 1000005

#define READ(A)             freopen(A,"r",stdin)



int main() {

    char S[4];

    bool B=false;

    scanf("%s",S);

    FOR(I,0,3){

        if(S[I]=='7'){

            B=true;

        }

    }

    if(B)printf("Yes\n");

    else printf("No\n");

}


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

#include <string.h>

int main() {

	char angka[10];

	scanf("%s", &angka);

	int ada = 0;



	for(int i = 0 ; i < strlen(angka); i++) {

		if (angka[i] == '7'){

			ada = 1;

		}

	}

	if (ada ==1){

		printf("Yes");

		

	}

	else {

		printf("No");

	}

	

	puts(" ");

	

	

	return 0;

}