#include <bits/stdc++.h>
using namespace std;
string s, ss;
int idx;
int main() {
  cin >> s;
  for (int i = 0; i < s.length(); i++) {
    if (s[i] == '.') {
      idx = i;
      break;
    }
  }
  if (s[idx - 1] != '9') {
    if (s[idx + 1] < '5') {
      ss = s.substr(0, idx);
    } else {
      ss = s.substr(0, idx);
      ss[ss.length() - 1]++;
    }
  } else if (s[idx - 1] == '9') {
    cout << "GOTO Vasilisa.";
  }
  cout << ss;
  return 0;
}
