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