#include <bits/stdc++.h>
using namespace std;
int main() {
  string n;
  cin >> n;
  size_t r = n.find(".");
  string a = n.substr(r - 1, 1);
  string b = n.substr(r + 1, 1);
  int c = atoi(a.c_str());
  int d = atoi(b.c_str());
  if (c == 9) {
    cout << "GOTO Vasilisa." << endl;
  } else {
    if (d >= 5) {
      c = c + 1;
      string e = to_string(c);
      string str = n.substr(0, r);
      str = str.replace(r - 1, 1, e);
      cout << str << endl;
    } else {
      cout << n.substr(0, r) << endl;
    }
  }
  return 0;
}
