#include <bits/stdc++.h>
using namespace std;
char a[1000], b[1000], c[1000];
int main() {
  scanf("%s", c);
  int j = 0, k = 0;
  bool answer = false;
  for (int i = 0; c[i] != '\0'; ++i) {
    if (c[i] == '.') {
      answer = true;
      continue;
    }
    if (!answer) {
      a[k] = c[i];
      k++;
    } else {
      b[j] = c[i];
      j++;
    }
  }
  int l = strlen(a);
  if (a[l - 1] == '9') {
    cout << "GOTO Vasilisa.";
  } else if (b[0] >= '5') {
    a[l - 1]++;
    cout << a;
  } else {
    cout << a;
  }
}
