#include <bits/stdc++.h>
using namespace std;
int main() {
  char s[10001], a;
  for (int i = 1; i <= 10000; i++) {
    cin >> s[i];
    if (s[i] == '.') {
      if (s[i - 1] == '9') {
        cout << "GOTO Vasilisa.\n";
        return 0;
      } else {
        cin >> a;
        if (a >= '5') s[i - 1]++;
        for (int j = 1; j <= i - 1; j++) {
          cout << s[j];
        }
        return 0;
      }
    }
  }
}
