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