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