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