#include <bits/stdc++.h>
int main() {
  char s[10000];
  scanf("%s", s);
  int i, l = 0;
  char ans[10000];
  int ok = 0;
  for (i = 0; i < strlen(s); i++) {
    if (s[i] == '.' && s[i - 1] == '9') {
      printf("GOTO Vasilisa.\n");
      ok = 1;
      break;
    } else if (s[i] == '.' && s[i - 1] != '9' && s[i + 1] >= '5') {
      ans[i - 1] += 1;
      break;
    } else if (s[i] == '.' && s[i - 1] != '9' && s[i + 1] < '5') {
      break;
    }
    ans[l++] = s[i];
  }
  if (!ok) {
    for (i = 0; i < l; i++) printf("%c", ans[i]);
    printf("\n");
  }
  return 0;
}
