#include #define rep(i,n)for(long long i=0;i<(n);i++) using namespace std; typedef unsigned long long ull; typedef long long ll; const ll INF=1e18; const int MOD=1e9+7; const double pi=acos(-1); int main(){ string s; cin >> s; bool ok=true; if(s[0]!='1'||s.size()==1)ok=false; rep(i,s.size()-1){ if(s[i+1]!='3')ok=false; } if(ok)cout<