#include <bits/stdc++.h>
using namespace std;
vector<vector<int> > AdjList;
int dx[] = {1, 0, -1, 0};
int dy[] = {0, 1, 0, -1};
char is[1010];
int main() {
  cin >> is;
  int length = strlen(is);
  bool check = false;
  bool nine = false;
  bool add = false;
  for (int i = 0; i < length; i++) {
    if (is[i] == '.') {
      if (is[i - 1] == '9') {
        nine = true;
      }
      if (is[i + 1] >= '5') {
        is[i - 1]++;
      }
      is[i] = '\0';
    }
  }
  if (nine) {
    cout << "GOTO Vasilisa." << endl;
    return 0;
  }
  cout << is << endl;
  return 0;
}
