#include <bits/stdc++.h>
using namespace std;
int main() {
  string str;
  cin >> str;
  int temp = 0;
  for (int i = 1; i < str.length(); i++) {
    if (str[i] == '.') {
      temp = i;
      if (str[i - 1] == '9') {
        cout << "GOTO Vasilisa." << endl;
        return 0;
      } else if ((str[i + 1] == '9') || (str[i + 1] == '8') ||
                 (str[i + 1] == '7') || (str[i + 1] == '6') ||
                 (str[i + 1] == '5')) {
        str[i - 1]++;
        break;
      }
      break;
    }
  }
  for (int i = 0; i < temp; i++) {
    cout << str[i];
  }
  cout << endl;
  return 0;
}
