#include <bits/stdc++.h>
int main() {
  char c[1000];
  scanf("%[0-9]s", c);
  getchar();
  int p = getchar();
  if (c[strlen(c) - 1] == '9') {
    printf("GOTO Vasilisa.");
    return 0;
  }
  if (p >= '5') {
    c[strlen(c) - 1] = c[strlen(c) - 1] + 1;
  }
  printf("%s", c);
  return 0;
}
