#include <bits/stdc++.h>
using namespace std;
template <class F, class T>
T convert(F input, int width = 0, int prec = -1) {
  stringstream A;
  T res;
  if (prec > -1) A << fixed << setprecision(prec);
  A << setw(width) << setfill('0') << input;
  A >> res;
  return res;
}
int main() {
  string nm;
  cin >> nm;
  int ln = nm.length() - 1;
  int dt = find((nm).begin(), (nm).end(), '.') - nm.begin();
  if (nm[dt - 1] != '9' && nm[dt + 1] < '5') {
    cout << nm.substr(0, dt);
    return 0;
  }
  if (nm[dt - 1] != '9' && nm[dt + 1] >= '5') {
    string res = nm.substr(0, dt);
    res[int((res).size()) - 1] = res[int((res).size()) - 1] + 1;
    cout << res;
    return 0;
  }
  cout << "GOTO Vasilisa.";
  return 0;
}
