#include <bits/stdc++.h>
using namespace std;
int main() {
  string a;
  cin >> a;
  if (auto it = a.find('.')) {
    if (a.at(it - 1) == '9') {
      cout << "GOTO Vasilisa.\n";
    } else if (a.at(it + 1) - '0' < 5) {
      cout << a.substr(0, it);
    } else {
      string temp = a.substr(0, it - 1);
      string inc = a.substr(it - 1, 1);
      int incc = stoi(inc);
      ++incc;
      cout << temp << incc << '\n';
    }
  }
  return 0;
}
