#include<iostream>
#include <fstream>

using namespace std ;
int main()
{ setlocale(LC_ALL, "Russian");
ifstream read_file("input.txt");
ofstream write_file ("output.txt");
    int a[10];
 int  b,i ,k ;
 b=7;
 k=0;
 for (i=0;i<10;i++)
 {
     read_file>>a[i];
 }
 for (i=0;i<10;i++)
 {
     if (b==(a[i]))
     {
        k++;
     }
     else ;
 }
 if (k>0)
 {
write_file<<"Да"<<endl;
 }
 else write_file<<"Нет"<<endl;
   return 0 ;
}