#include <bits/stdc++.h>
using namespace std;
const int INF = 100000000;
const double EPS = 1e-8;
int main() {
  string s;
  cin >> s;
  unsigned int dot = s.find('.');
  if (s[dot - 1] == '9')
    puts("GOTO Vasilisa.");
  else if (s[dot + 1] < '5')
    cout << s.substr(0, dot) << endl;
  else
    cout << string(s.substr(0, dot - 1) + char(s[dot - 1] + 1)) << endl;
  return 0;
}
