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