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