#include <bits/stdc++.h>
int main() {
  char a[1001];
  int i = 0, j;
  scanf("%s", &a);
  while (a[i] != '.') i++;
  if (a[i - 1] == '9')
    printf("GOTO Vasilisa.");
  else if (a[i + 1] < '5')
    for (j = 0; j < i; j++) printf("%c", a[j]);
  else {
    for (j = 0; j < i - 1; j++) printf("%c", a[j]);
    printf("%d", ((a[i - 1] - '0') + 1));
  }
  return 0;
}
