#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, i, m;
  string too;
  cin >> too;
  n = too.size();
  for (i = 0; i < n; i++) {
    if (too[i] == '.') {
      m = i;
      break;
    }
  }
  if (too[m - 1] == '9') cout << "GOTO Vasilisa.";
  if (too[m - 1] != '9' && too[m + 1] >= '5') {
    too[m - 1] = too[m - 1] + 1;
    for (i = 0; i < m; i++) cout << too[i];
  }
  if (too[m - 1] != '9' && too[m + 1] < '5') {
    for (i = 0; i < m; i++) cout << too[i];
  }
  return 0;
}
