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