#include <bits/stdc++.h>
using namespace std;
char s[2010];
int main() {
  cin >> s;
  int i = 0;
  while (s[i] != '.') i++;
  if (s[i - 1] != '9') {
    if (s[i + 1] >= '5') {
      s[i - 1] += 1;
    }
  } else if (s[i - 1] == '9') {
    printf("GOTO Vasilisa.\n");
    return 0;
  }
  i = 0;
  while (s[i + 1] != '.' && s[i] == '0') i++;
  for (; s[i] != '.'; i++) printf("%c", s[i]);
  printf("\n");
  return 0;
}
