#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  int siz = s.size(), check = 0;
  vector<char> v1;
  vector<char> v2;
  for (int i = 0; i < siz; i++) {
    if (s[i] == '.') {
      check = 1;
      continue;
    }
    if (check == 0) {
      v1.push_back(s[i]);
    } else {
      v2.push_back(s[i]);
    }
  }
  int n = v1.size();
  int test1 = v1[n - 1];
  if (test1 == '9')
    cout << "GOTO Vasilisa." << endl;
  else {
    if (v2[0] < '5') {
      for (int i = 0; i < n; i++) {
        cout << v1[i];
      }
      cout << endl;
    } else {
      v1[n - 1]++;
      for (int i = 0; i < n; i++) {
        cout << v1[i];
      }
      cout << endl;
    }
  }
  return 0;
}
