stablegradients/pie-gem5-pairs huggingface dataset:
// 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.328644308638465x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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.3264318835430045x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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.31755263424585x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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.318741900404826x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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.3186539638982095x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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.3505711870435535x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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.349227340254488x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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.395136958778583x):
#include <stdio.h>



int main(){

	int N;

	scanf("%d", &N);

	

	int a = N / 100, b = (N - a * 100) / 10, c = N % 10;

	

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

		puts("Yes");

	}

	else{

		puts("No");

	}

	

	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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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 number, A,B,C;

	scanf("%d", &number );

	A = number / 100;

	B = number % 100 / 10;

	C = number % 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.100135143715714x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.317487215835677x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.317813439062027x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.315605510886659x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.306744309330262x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.307931158216493x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.307843400447427x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.339695749440716x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.3383546341211305x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.384170937899159x):
#include <stdio.h>

int main()

{

    int n;

    scanf("%d", &n);

    int n1 = n / 100;

    int n2 = (n % 100) / 10;

    int n3 = n % 10;

    if (n1 == 7 || n2 == 7 || n3 == 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.130463501843719x):
#include <stdio.h>



int main() {

	char num[10];

	scanf("%s", num);

	//987

	//num[0] = '9'; num[1] = '8'; num[2] = '7';

	if (num[0] == '7' || num[1] == '7' || num[2] == '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.340200960484002x):
#include <stdio.h>



int main() {

	char num[10];

	scanf("%s", num);

	//987

	//num[0] = '9'; num[1] = '8'; num[2] = '7';

	if (num[0] == '7' || num[1] == '7' || num[2] == '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.340528577178875x):
#include <stdio.h>



int main() {

	char num[10];

	scanf("%s", num);

	//987

	//num[0] = '9'; num[1] = '8'; num[2] = '7';

	if (num[0] == '7' || num[1] == '7' || num[2] == '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.338311217797612x):
#include <stdio.h>



int main() {

	char num[10];

	scanf("%s", num);

	//987

	//num[0] = '9'; num[1] = '8'; num[2] = '7';

	if (num[0] == '7' || num[1] == '7' || num[2] == '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.329412165455447x):
#include <stdio.h>



int main() {

	char num[10];

	scanf("%s", num);

	//987

	//num[0] = '9'; num[1] = '8'; num[2] = '7';

	if (num[0] == '7' || num[1] == '7' || num[2] == '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.33060408398857x):
#include <stdio.h>



int main() {

	char num[10];

	scanf("%s", num);

	//987

	//num[0] = '9'; num[1] = '8'; num[2] = '7';

	if (num[0] == '7' || num[1] == '7' || num[2] == '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.330515951360577x):
#include <stdio.h>



int main() {

	char num[10];

	scanf("%s", num);

	//987

	//num[0] = '9'; num[1] = '8'; num[2] = '7';

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

		printf("Yes\n");

	}

	else {

		printf("No\n");

	}

	return 0;

}