#include <bits/stdc++.h>
using namespace std;
int main() {
  int a[10000], la = 0, k, i;
  for (;;) {
    k = getchar();
    if (k == '.') break;
    a[la++] = k - 48;
  }
  if (a[la - 1] == 9) {
    cout << "GOTO Vasilisa.";
    return 0;
  }
  k = getchar() - 48;
  if (k >= 5) {
    a[la - 1]++;
  }
  for (i = 0; i < la; i++) cout << a[i];
  return 0;
}
