#include <bits/stdc++.h>
using namespace std;
vector<char> v, ss;
string str;
void call() {
  int i, j, k;
  int len = v.size();
  int temp = 1;
  while (1) {
    len--;
    k = (str[len] - 48) + temp;
    j = k % 10;
    temp = k / 10;
    ss.push_back(j + 48);
    if (temp == 0 && len == 0) break;
  }
  for (i = ss.size() - 1; i >= 0; i--) cout << ss[i];
  return;
}
int main() {
  int i, j, k;
  cin >> str;
  int len = str.length();
  int dot = -1;
  int last = -1;
  for (i = 0; i < len; i++) {
    if (str[i] == '.') {
      dot = i + 1;
      last = i - 1;
      break;
    } else
      v.push_back(str[i]);
  }
  if (str[last] == '9')
    printf("GOTO Vasilisa.");
  else if (str[last] != '9' && str[dot] - 48 < 5) {
    for (i = 0; i < v.size(); i++) cout << v[i];
  } else if (str[last] != '9' && str[dot] - 48 >= 5) {
    call();
  }
  ss.clear();
  v.clear();
  cout << endl;
  return 0;
}
