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