#include <bits/stdc++.h>
using namespace std;
class Solution {
 public:
  void solve(std::istream& in, std::ostream& out) {
    string n;
    in >> n;
    int m = 0;
    int d = 0;
    for (int i = 1; i < n.length(); i++) {
      if (n[i] == '.') {
        m = (n[i - 1] - '0');
        d = (n[i + 1] - '0');
      }
    }
    if (m == 9) {
      out << "GOTO Vasilisa.";
    } else {
      for (int i = 0; i < n.length(); i++) {
        if (n[i + 1] == '.') {
          if (d < 5) {
            out << m;
          } else {
            out << (m + 1);
          }
          break;
        } else {
          out << n[i];
        }
      }
    }
  }
};
void solve(std::istream& in, std::ostream& out) {
  out << std::setprecision(12);
  Solution solution;
  solution.solve(in, out);
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  istream& in = cin;
  ostream& out = cout;
  solve(in, out);
  return 0;
}
