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