#include <bits/stdc++.h>
using namespace std;
int main() {
  int i, j, len, chk, a, b, temp;
  char c[1002];
  scanf("%s", c);
  len = strlen(c);
  chk = 0;
  for (i = 0; i < len; i++) {
    if (c[i] == '.') {
      a = int(c[i - 1] - 48);
      b = int(c[i + 1] - 48);
      if (a != 9) {
        if (b < 5) {
          for (j = 0; j < i; j++) {
            printf("%c", c[j]);
          }
        } else {
          for (j = 0; j < i - 1; j++) {
            printf("%c", c[j]);
          }
          temp = a + 1;
          printf("%d", temp);
          temp = 0;
        }
      } else {
        printf("GOTO Vasilisa.");
      }
    }
  }
  return 0;
}
