#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  long int index = 0;
  while (s[index] != '.') {
    index++;
  }
  long int index1 = index - 1, index2 = index + 1;
  if (s[index1] == '9') {
    cout << "GOTO Vasilisa.\n";
  } else {
    if (s[index2] >= '5') {
      for (long int i = 0; i < index1; i++) {
        cout << s[i];
      }
      cout << char(s[index1] + 1);
    } else {
      for (long int i = 0; i <= index1; i++) {
        cout << s[i];
      }
    }
  }
}
