#include <bits/stdc++.h>
char ar[1000000];
int main(void) {
  int i, j = 0, l;
  char c, f;
  while (1) {
    scanf("%c", &c);
    if (c == '.') break;
    ar[j++] = c;
  }
  --j;
  for (i = 0; i <= j && ar[i] == '0'; ++i)
    ;
  l = i;
  scanf("%c", &f);
  if (l - 1 == j) {
    if (f < '5')
      printf("0");
    else
      printf("1");
    return 0;
  }
  if (ar[j] < '9') {
    if (f < '5') {
      for (i = l; i <= j; ++i) printf("%c", ar[i]);
    } else {
      for (i = l; i < j; ++i) printf("%c", ar[i]);
      printf("%c", ar[i] + 1);
    }
  } else
    printf("GOTO Vasilisa.");
  return 0;
}
