#include <bits/stdc++.h>
char s[1002];
int main() {
  scanf("%s", &s);
  int ds = strlen(s);
  int i;
  int current;
  for (i = 0; i < ds; i++)
    if (s[i] == '.') {
      current = i;
      break;
    }
  if (s[current - 1] == '9')
    printf("GOTO Vasilisa.");
  else if (s[current + 1] - '0' >= 5) {
    for (i = 0; i < current - 1; i++) printf("%c", s[i]);
    printf("%c", ((s[current - 1] - '0') + 1) + 48);
  } else {
    for (i = 0; i < current; i++) printf("%c", s[i]);
  }
  return 0;
}
