#include <bits/stdc++.h>
int main() {
  char temp[1023];
  char ans[1023];
  int i, j;
  gets(temp);
  for (i = 0; temp[i] != '\0'; i++)
    if (temp[i] == '.') break;
  if (temp[i - 1] == '9') {
    puts("GOTO Vasilisa.");
  } else {
    for (j = 0; j < i - 1; j++) putchar(temp[j]);
    if (temp[i + 1] - 48 >= 5) {
      putchar(temp[j] + 1);
    } else
      putchar(temp[j]);
    putchar('\n');
  }
  return 0;
}
