#include <bits/stdc++.h>
using namespace std;
int p, n;
char arr[1002], brr[1002];
int main() {
  scanf("%s", arr);
  n = strlen(arr);
  for (int i = 0; i < n; i++) {
    if (arr[i] == '.') {
      p = i;
    }
  }
  if (arr[p - 1] == '9') {
    printf("GOTO Vasilisa.\n");
  } else {
    if (arr[p + 1] - '0' >= 5) {
      arr[p - 1]++;
    }
    for (int i = 0; i < p; i++) {
      printf("%c", arr[i]);
    }
    printf("\n");
  }
  return 0;
}
