#include <bits/stdc++.h>
char str1[12000];
int n;
int main() {
  scanf("%s", &str1);
  n = strlen(str1);
  bool pr = false;
  int i, j;
  for (i = 0; i < n; i++) {
    if (str1[i] == '.') {
      if (str1[i - 1] == '9') pr = true;
      break;
    }
  }
  if (i == n) {
    if (str1[i - 1] == '9') pr = true;
  }
  if (pr) {
    printf("GOTO Vasilisa.\n");
  } else {
    bool ps = false;
    i = 0;
    for (i = i; i < n; i++) {
      if (str1[i] == '.') {
        j = i + 1;
        if (j < n && str1[j] >= '5')
          ps = true;
        else
          ps = false;
        break;
      }
    }
    if (ps) {
      for (i = 0; i < n; i++) {
        if (str1[i + 1] == '.') {
          printf("%c\n", str1[i] + 1);
          break;
        } else
          printf("%c", str1[i]);
      }
    } else {
      for (i = 0; i < n; i++) {
        if (str1[i] == '.') {
          printf("\n");
          break;
        } else
          printf("%c", str1[i]);
      }
    }
  }
  return 0;
}
