#include <bits/stdc++.h>
using namespace std;
int main() {
  int cnt = 0;
  char str[2000];
  char *integer;
  char *decimal;
  cin.getline(str, 2000);
  char *pch = strtok(str, ".");
  while (pch != NULL) {
    if (cnt == 0) integer = pch;
    if (cnt == 1) decimal = pch;
    pch = strtok(NULL, ".");
    cnt += 1;
  }
  int integer_len = strlen(integer);
  int i = integer[integer_len - 1] - '0';
  int d = decimal[0] - 48;
  if (i != 9 && d < 5) {
    cout << integer << endl;
  }
  if (i != 9 && d >= 5) {
    for (int k = 0; k < integer_len - 1; k++) {
      cout << integer[k];
    }
    cout << i + 1 << endl;
  }
  if (i == 9) {
    cout << "GOTO Vasilisa." << endl;
  }
  return 0;
}
