#include <bits/stdc++.h>
using namespace std;
int main() {
  int i, j, len1, len2;
  char tmp[2002];
  char intg[1000], frac[1000];
  scanf("%s", tmp);
  int len = strlen(tmp);
  for (i = 0; i < len; i++) {
    if (tmp[i] == '.') {
      tmp[i] = '\0';
      j = i;
      break;
    }
  }
  strcpy(intg, &tmp[0]);
  strcpy(frac, &tmp[j + 1]);
  len1 = strlen(intg), len2 = strlen(frac);
  int flag = 0;
  if (frac[0] - '5' >= 0) {
    if (intg[len1 - 1] == '9') {
      printf("GOTO Vasilisa.");
      flag = 1;
    } else
      intg[len1 - 1] += 1;
  } else if (intg[len1 - 1] == '9') {
    printf("GOTO Vasilisa.");
    flag = 1;
  };
  if (!flag) printf("%s\n", intg);
  return 0;
}
