#include <bits/stdc++.h>
using namespace std;
char s[10000];
int main(void) {
  scanf("%s", s);
  int len = strlen(s);
  int i, j;
  for (i = 0; i < len; ++i) {
    if (s[i] == '.') break;
  }
  int o = 0;
  o = s[i + 1] - '0';
  if (s[i - 1] == '9') {
    printf("GOTO Vasilisa.");
  } else if (o >= 5) {
    for (j = 0; j < i - 1; ++j) {
      printf("%c", s[j]);
    }
    printf("%c", s[j] + 1);
  } else {
    for (j = 0; j < i; ++j) {
      printf("%c", s[j]);
    }
  }
  return 0;
}
