#include <iostream>
#include <vector>
 
using namespace std;
 
bool findAllDigits(istream & i){
    vector<int> digits(0);
    int tmp; char c; bool found;
 
    while(i >> c){//read one char
        if(isdigit(c)){//check if it is a number
            tmp = c - '0';//convert char to int
            found = false;
            for(size_t i = 0; i < digits.size(); ++i){
                if(tmp == digits[i]){
                    found = true; break;
                }
            }
            if(!found){//if this number wasn't in the vector yet
                digits.push_back(tmp);
            }
        }
    }
    return digits.size() == 10;//return true if all the digits are in the stream
}
 
 
int main() {
	cout << (findAllDigits(cin)?"FOUND":"NOT FOUND") << endl;
	return 0;
}

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmJvb2wgZmluZEFsbERpZ2l0cyhpc3RyZWFtICYgaSl7CiAgICB2ZWN0b3I8aW50PiBkaWdpdHMoMCk7CiAgICBpbnQgdG1wOyBjaGFyIGM7IGJvb2wgZm91bmQ7CgogICAgd2hpbGUoaSA+PiBjKXsvL3JlYWQgb25lIGNoYXIKICAgICAgICBpZihpc2RpZ2l0KGMpKXsvL2NoZWNrIGlmIGl0IGlzIGEgbnVtYmVyCiAgICAgICAgICAgIHRtcCA9IGMgLSAnMCc7Ly9jb252ZXJ0IGNoYXIgdG8gaW50CiAgICAgICAgICAgIGZvdW5kID0gZmFsc2U7CiAgICAgICAgICAgIGZvcihzaXplX3QgaSA9IDA7IGkgPCBkaWdpdHMuc2l6ZSgpOyArK2kpewogICAgICAgICAgICAgICAgaWYodG1wID09IGRpZ2l0c1tpXSl7CiAgICAgICAgICAgICAgICAgICAgZm91bmQgPSB0cnVlOyBicmVhazsKICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgfQogICAgICAgICAgICBpZighZm91bmQpey8vaWYgdGhpcyBudW1iZXIgd2Fzbid0IGluIHRoZSB2ZWN0b3IgeWV0CiAgICAgICAgICAgICAgICBkaWdpdHMucHVzaF9iYWNrKHRtcCk7CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICB9CiAgICByZXR1cm4gZGlnaXRzLnNpemUoKSA9PSAxMDsvL3JldHVybiB0cnVlIGlmIGFsbCB0aGUgZGlnaXRzIGFyZSBpbiB0aGUgc3RyZWFtCn0KCgppbnQgbWFpbigpIHsKCWNvdXQgPDwgKGZpbmRBbGxEaWdpdHMoY2luKT8iRk9VTkQiOiJOT1QgRk9VTkQiKSA8PCBlbmRsOwoJcmV0dXJuIDA7Cn0=

MTIzLCA4LCA2NzAsIDQ4MzUxMzQsIDUwMjQzLDk=

123, 8, 670, 4835134, 50243,9