#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  long long n = 0, i, k = s.length(), flag = 0;
  for (i = 0; i < k; i++) {
    if (s[i] == '.') {
      if (s[i - 1] == '9') {
        cout << "GOTO Vasilisa." << endl;
        flag = 1;
        break;
      } else {
        if (s[i + 1] == '1' || s[i + 1] == '2' || s[i + 1] == '3' ||
            s[i + 1] == '4' || s[i + 1] == '0') {
          n = i;
          break;
        } else {
          n = s[i - 1] + 1;
          s[i - 1] = n;
          n = i;
          break;
        }
      }
    }
  }
  if (flag == 0) {
    for (i = 0; i < n; i++) cout << s[i];
    cout << endl;
  }
  return 0;
}
