stablegradients/pie-gem5-pairs huggingface dataset:
// 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.335311905831836x):
#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;



#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.3811020954654945x):
#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>

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



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("No");

	}

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



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("No");

	}

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



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.312491231024867x):
#include <stdio.h>



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.303635221024071x):
#include <stdio.h>



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.304821374565326x):
#include <stdio.h>



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.304733668211335x):
#include <stdio.h>



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.336567355712754x):
#include <stdio.h>



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.335227026118976x):
#include <stdio.h>



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.381016487274484x):
#include <stdio.h>



int main (){

	int a;

	int cek=0;

	scanf("%d", &a);

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

		if (a%10==7|| a/100==7|| (a-(a/100)*100)/10 ==7){

			cek++;

		}

	}

	if (cek>0){

		printf("Yes");

	}

	else {

		printf("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.13307174344383x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("No");

	}

	

	

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



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("No");

	}

	

	

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



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.3402639106890355x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.331361603175798x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.332553957699022x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.332465792833126x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.36446590071381x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.363118564135393x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.409147403763517x):
#include <stdio.h>



int main () {

	char arr[4];

	scanf("%s", &arr);

	

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

		printf("Yes");

	}

	else {

		printf("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.13307174344383x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("No");

	}

	

	

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

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("No");

	}

	

	

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

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.3402639106890355x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.331361603175798x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.332553957699022x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.332465792833126x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.36446590071381x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.363118564135393x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.409147403763517x):
#include <stdio.h>

 

int main () {

	char num[4];

	scanf("%s", &num);

	

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

		printf("Yes");

	}

	else {

		printf("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.114596094367309x):
#include <stdio.h>

 

int main() {

	int N;

	int x, y, z;

	scanf("%d", &N);

	

	x = N / 100;

	y = (N - (x * 100)) / 10 ;

	z = N % 10;

	if(x == 7 || y == 7 || z == 7){

		puts("Yes");

	}

	else {

		puts("No");

	}

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

 

int main() {

	int N;

	int x, y, z;

	scanf("%d", &N);

	

	x = N / 100;

	y = (N - (x * 100)) / 10 ;

	z = N % 10;

	if(x == 7 || y == 7 || z == 7){

		puts("Yes");

	}

	else {

		puts("No");

	}

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

 

int main() {

	int N;

	int x, y, z;

	scanf("%d", &N);

	

	x = N / 100;

	y = (N - (x * 100)) / 10 ;

	z = N % 10;

	if(x == 7 || y == 7 || z == 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;

	int x, y, z;

	scanf("%d", &N);

	

	x = N / 100;

	y = (N - (x * 100)) / 10 ;

	z = N % 10;

	if(x == 7 || y == 7 || z == 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;

	int x, y, z;

	scanf("%d", &N);

	

	x = N / 100;

	y = (N - (x * 100)) / 10 ;

	z = N % 10;

	if(x == 7 || y == 7 || z == 7){

		puts("Yes");

	}

	else {

		puts("No");

	}

	return 0;

}