// editor2
#include<iostream>
#include<string>
using namespace std;
int main()
{
    string a="DKHU";
    string b="1234567890";
    cin>>a;
    cin>>b;
    if(b<10)
    {
        cout<<"12354";
    }
    else
    {
        cout<<"-1";
    }
    return 0;
}