#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  int i = s.find('.');
  if (s[i - 1] == '9') {
    cout << "GOTO Vasilisa.\n";
    return 0;
  }
  if (s[i + 1] >= '5') s[i - 1]++;
  s.resize(i);
  cout << s << endl;
  return 0;
}
