#include <bits/stdc++.h>
using namespace std;
int accept() {
  char a;
  int o;
  string s, b = "";
  cin >> s;
  int ans = 0;
  for (int i = 0; i < s.size(); i++) {
    if (s[i] == '.') {
      if (s[i - 1] == '9') {
        cout << "GOTO Vasilisa."
             << "\n";
        return 0;
      } else {
        if (s[i + 1] < '5') {
          cout << b << "\n";
          return 0;
        } else {
          o = s[i - 1] - '0';
          o += 1;
          s[i - 1] = o + '0';
          b[i - 1] = s[i - 1];
          cout << b << "\n";
          return 0;
        }
      }
    } else
      b += s[i];
  }
}
int main() {
  int t = 1;
  while (t--) {
    accept();
  }
  return 0;
}
