#include <bits/stdc++.h>
using namespace std;
long long conversion(string p) {
  long long o;
  o = atol(p.c_str());
  return o;
}
string toString(int h) {
  stringstream ss;
  ss << h;
  return ss.str();
}
long long gcd(long long a, long long b) { return (b == 0 ? a : gcd(b, a % b)); }
int lcm(int a, int b) { return (a * (b / gcd(a, b))); }
string suma(string a, string b) {
  int LA = a.size(), LB = b.size(), L = max(LA, LB), carry = 0;
  string x = string(L, '0');
  while (L--) {
    LA--;
    LB--;
    if (LA >= 0) carry += a[LA] - '0';
    if (LB >= 0) carry += b[LB] - '0';
    if (carry < 10)
      x[L] = '0' + carry, carry = 0;
    else
      x[L] = '0' + carry - 10, carry = 1;
  }
  if (carry) x = '1' + x;
  return x;
}
int main() {
  string a;
  cin >> a;
  int x = a.find('.');
  if (a[x - 1] == '9')
    cout << "GOTO Vasilisa." << endl;
  else {
    int y = a[x + 1] - '0';
    if (y < 5)
      cout << a.substr(0, x) << endl;
    else
      cout << suma(a.substr(0, x), "1") << endl;
  }
}
