func_code_string: #include <bits/stdc++.h>   using namespace std;   int main() {     int k[3];     while (cin >> k[0] >> k[1] >> k[2]) {       bool flag = false;       int one = 0, two = 0, three = 0, four = 0;       for (int i = 0; i < 3; i++) {         if (k[i] == 1) one++;         if (k[i] == 2) two++;         if (k[i] == 3) three++;         if (k[i] == 4) four++;       }       if (one >= 1 || two >= 2 || three == 3 || two == 1 && four == 2)         flag = true;       if (flag)         cout <<  YES  << endl;       else         cout <<  NO  << endl;     }     return 0;   }   