#include <bits/stdc++.h>
using namespace std;
ifstream fin("AAtest.in.txt");
string s, t;
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  cerr.tie(0);
  cin >> s;
  for (int(i) = (0); ((i)) < ((s.size())); ((i))++) {
    if (s[i + 1] == '.') {
      if (s[i] == '9') {
        cout << "GOTO Vasilisa.";
        return 0;
      } else {
        if (s[i + 2] >= '5')
          t += s[i] + 1;
        else
          t += s[i];
        break;
      }
    } else
      t += s[i];
  }
  cout << t;
}
