#include <bits/stdc++.h>
using namespace std;
int main() {
  string num;
  cin >> num;
  size_t idx = num.find('.');
  if (num[idx - 1] == '9') {
    cout << "GOTO Vasilisa.";
    return 0;
  } else if (num[idx - 1] != '9' && num[idx + 1] >= '5') {
    num[idx - 1] += 1;
  }
  num.erase(num.begin() + idx, num.end());
  cout << num << endl;
  return 0;
}
