#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  int i;
  string sac = "";
  string sad = "";
  string sam = "";
  int a = 0;
  int b = 0;
  int count = 1;
  for (i = 0; i < s.size(); i++) {
    if (s[i] == '.') {
      sac = s[i - 1];
      i++;
      break;
    }
    sam = sam + s[i];
  }
  int j = i;
  sad = s[i];
  stringstream s1(sac);
  stringstream s2(sad);
  s1 >> a;
  s2 >> b;
  int dd = sam.size();
  if (a == 9) {
    cout << "GOTO Vasilisa.\n";
  } else {
    if (b < 5) {
      cout << sam << endl;
      ;
    } else {
      int an[10] = {'0', '1', '2', '3', '4', '5', '6', '7', '8', '9'};
      int ans = a + 1;
      sam[dd - 1] = an[ans];
      cout << sam << endl;
    }
  }
}
