#include <bits/stdc++.h>
using namespace std;
int main() {
  char s[1010];
  scanf("%s", s);
  int j;
  for (j = 0; j < strlen(s); j++) {
    if (s[j] == '.') break;
  }
  if ((s[j - 1] - '0') == 9)
    cout << "GOTO Vasilisa.";
  else {
    if ((s[j + 1] - '0') >= 5) {
      for (int k = 0; k <= j - 2; k++) printf("%c", s[k]);
      printf("%d", 1 + s[j - 1] - '0');
    } else if ((s[j + 1] - '0' < 5)) {
      for (int k = 0; k < j; k++) printf("%c", s[k]);
    }
  }
  return 0;
}
