#include <bits/stdc++.h>
using namespace std;
int main() {
  char a[1010];
  cin >> a;
  int l = strlen(a), dot;
  for (int i = 0; i < l; i++) {
    if (a[i] == '.') {
      dot = i;
    }
  }
  if (a[dot - 1] == '9') {
    cout << "GOTO Vasilisa." << endl;
  } else {
    if (a[dot + 1] >= '5') {
      a[dot - 1]++;
    }
    for (int i = 0; i <= dot - 2; i++) {
      cout << a[i];
    }
    cout << a[dot - 1] << endl;
  }
  return 0;
}
