#include <bits/stdc++.h>
using namespace std;
int main() {
  int k, i;
  string s;
  char ans[1100];
  cin >> s;
  int len = s.length();
  for (i = 0; i < len; i++)
    if (s[i] == '.') break;
  k = i;
  if ((s[k - 1] - '0') == 9)
    cout << "GOTO Vasilisa.";
  else {
    for (i = 0; i < k; i++) ans[i] = s[i];
    if ((s[k + 1] - '0') >= 5) ans[k - 1] += 1;
    ans[k] = '\0';
    printf("%s", ans);
  }
  return 0;
}
