#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
const int mod = 1e9 + 7;
const int maxn = 1e3 + 7;
const double pi = acos(-1.0);
const int v2 = (mod + 1) / 2;
const double eps = 5e-6;
char s[maxn];
int main() {
  scanf("%s", s);
  int len = strlen(s);
  int flag = len;
  for (int i = 0; i < len; i++) {
    if (s[i] == '.') {
      if (s[i - 1] == '9') {
        return puts("GOTO Vasilisa."), 0;
      }
      flag = i;
      if (s[i + 1] >= '5') {
        int c = 1;
        for (int k = i - 1; k >= 0; k--) {
          int u = s[k] - '0';
          u += c;
          s[k] = '0' + u % 10;
          c = u / 10;
        }
      }
    }
  }
  if (flag == len) {
    if (s[len - 1] == '9') {
      return puts("GOTO Vasilisa."), 0;
    }
  }
  for (int i = 0; i < flag; i++) {
    printf("%c", s[i]);
  }
  puts("");
  return 0;
}
