#include <bits/stdc++.h>
using namespace std;
int main() {
  string str;
  cin >> str;
  int i = 0;
  while (i + 1 < (int)str.size() && str[i + 1] != '.') i++;
  int j = i + 2;
  if (str[i] == '9') {
    cout << "GOTO Vasilisa." << endl;
    return 0;
  }
  if (str[j] - '0' >= 5) {
    for (int k = 0; k < i; k++) cout << str[k];
    cout << (str[i] - '0') + 1 << endl;
  } else {
    for (int k = 0; k <= i; k++) cout << str[k];
    cout << endl;
  }
  return 0;
}
