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