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