#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  int n = 0;
  while (s.at(n) != '.') n++;
  if (s.at(n - 1) == '9')
    cout << "GOTO Vasilisa.";
  else {
    if (s.at(n + 1) < 53)
      cout << s.substr(0, n);
    else {
      cout << s.substr(0, n - 1);
      cout << (char)(s.at(n - 1) + 1);
    }
  }
}
