#include <bits/stdc++.h>
using namespace std;
template <class _T>
inline _T sqr(const _T& first) {
  return first * first;
}
template <class _T>
inline string tostr(const _T& a) {
  ostringstream os("");
  os << a;
  return os.str();
}
template <class _T>
inline istream& operator<<(istream& is, const _T& a) {
  is.putback(a);
  return is;
}
const long double PI = 3.1415926535897932384626433832795;
const long double EPS = 1e-11;
char a[1024];
int main() {
  cout << setiosflags(ios::fixed) << setprecision(10);
  gets(a);
  int n = strlen(a);
  int j = -1;
  for (int i = 0; i < n; i++) {
    if (a[i] == '.') j = i;
  }
  if (a[j - 1] != '9') {
    if (a[j + 1] >= '5') {
      a[j - 1]++;
    }
    for (int i = 0; i < j; i++) {
      putchar(a[i]);
    }
  } else
    cout << "GOTO Vasilisa.";
  return 0;
}
