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