/*
TASK:money
LANG:C++
*/
#include<iostream>
#include<string>
using namespace std;
int main()
{
    char s[81],ch[81];
    int k=-1,a,i,fl=0,br=0,l,r;
    while(1){cin.getline(s,81);
    a=strlen(s);
    for(i=0;i<a;i++)if(s[i]=='#'){fl=1;break;}
                    if(s[i]>='0'&&s[i]<='9'){if((i==0&&s[i]!='0')||(s[i]!='0'&&(s[i-1]<'0'||s[i-1]>'9')))l=i;
                                            if(s[i+1]=='#'){r=i;strncpy(ch,s+l,r-l+1);
                                            a=atoi(ch);
                                            if(a%3==0&&a>k)k=a;
                                            fl=1;
                                            break;}
                                            if(s[i+1]<'0'||s[i+1]>'9'){r=i;strncpy(ch,s+l,r-l+1);
                                            a=atoi(ch);
                                            if(a%3==0&&a>k)k=a;}
                                            }     
                                            if(fl==1)break;}
    if(k!=-1)cout<<k<<"\n";
    else cout<<"No\n";
    system("pause");
    return 0;
}                                                                                                       
