#include <bits/stdc++.h>
using namespace std;
void dout() { cerr << endl; }
template <typename Head, typename... Tail>
void dout(Head H, Tail... T) {
  cerr << H << ' ';
  dout(T...);
}
int main() {
  string s;
  cin >> s;
  int n = s.size();
  int p = -1;
  for (int i = 0; i < n; i++) {
    if (s[i] == '.') {
      p = i;
      break;
    }
  }
  if (s[p - 1] == '9')
    cout << "GOTO Vasilisa.\n";
  else {
    if (s[p + 1] >= '5') s[p - 1]++;
    for (int i = 0; i < p; i++) cout << s[i];
    cout << '\n';
  }
}
