#include <bits/stdc++.h>
using namespace std;
char str[1000 + 100];
int main() {
  while (scanf("%s", str) == 1) {
    int point;
    int len = strlen(str);
    for (point = 0; str[point] != '\0'; ++point) {
      if (str[point] == '.') break;
    }
    if (str[point - 1] == '9') {
      puts("GOTO Vasilisa.");
    } else {
      if (point + 1 >= len || str[point + 1] - '0' < 5) {
        str[point] = '\0';
        puts(str);
      } else {
        int carry = 1;
        for (int i = point - 1; i >= 0; --i) {
          carry = carry + str[i] - '0';
          str[i] = (carry % 10) + '0';
          carry = carry / 10;
        }
        if (carry != 0) {
          printf("%d", carry);
        }
        str[point] = '\0';
        puts(str);
      }
    }
  }
}
