#include <iostream>
using namespace std;
int main() {
string s;
string ss("0123456789");
getline(cin, s);
if(s[s.length()-1!='.']) {
s+=".";
}
string temp;
for(int i = 0; i<ss.length(); ++i) {
temp+=ss[i];
if(s.find(temp)!=-1) {
cout << "yes";
return 0;
cout << "no";
#include <iostream>
using namespace std;
int main() {
string s;
string ss("0123456789");
getline(cin, s);
if(s[s.length()-1!='.']) {
s+=".";
}
string temp;
for(int i = 0; i<ss.length(); ++i) {
temp+=ss[i];
if(s.find(temp)!=-1) {
cout << "yes";
return 0;
}
}
cout << "no";
}