#include <bits/stdc++.h>

using namespace std;

int main() {
    string s;
    while (getline(cin, s)) {
        int i = 0, flag = 0;

        for (; i < s.size(); i++) {
            if (isdigit(s[i])) break;
        }
        if (i == s.size()) flag = 1;
        if (flag == 1) {
            cout << -1 << endl;
        } else {
            long long ans = 0;
            string x;
            int tag = 0, exflag = 0;
            for (; i < s.size(); i++) {
                if (!isdigit(s[i])) break;
                ans *= 10;
                ans += s[i] - '0';
                if (s[i] != '0' && tag == 0) tag = 1;
                if (tag == 1) {
                    x.push_back(s[i]);
                }
                if (ans > INT_MAX) {
                    exflag = 1;
                    break;
                }
            }
            if (exflag == 1) cout << -1 << endl;
            else cout <<...