#include <bits/stdc++.h>
int main() {
  char str1[1005], str2[1005];
  scanf("%[1234567890]", str1);
  scanf("%[^1234567890]", str2);
  scanf("%[1234567890]", str2);
  int len1 = strlen(str1);
  int len2 = strlen(str2);
  if (str1[len1 - 1] == '9') {
    printf("GOTO Vasilisa.\n");
  } else {
    if (str2[0] >= '5') str1[len1 - 1]++;
    printf("%s\n", str1);
  }
  return 0;
}
