#include <bits/stdc++.h>
using namespace std;
const int maxn = 1005;
int main() {
  char str[maxn];
  while (~scanf("%s", str)) {
    int flag = 0;
    for (int i = 0; i < strlen(str); i++) {
      if (str[i] == '.' && str[i - 1] == '9') {
        puts("GOTO Vasilisa.");
        flag = 1;
        break;
      }
    }
    if (flag) {
      continue;
    }
    for (int i = 0; i < strlen(str); i++) {
      if (str[i + 1] == '.') {
        int num = str[i + 2] - '0';
        if (num >= 5) {
          str[i]++;
        }
        putchar(str[i]);
        break;
      }
      putchar(str[i]);
    }
    puts("");
  }
  return 0;
}
