#include <bits/stdc++.h>
using namespace std;
int main() {
  string num;
  cin >> num;
  string::iterator it = num.begin();
  while (*it != '.') ++it;
  if (*(--it) != '9') {
    if (*(++(++it)) < '5') {
      it = num.begin();
      while (*it != '.') {
        printf("%c", *it);
        ++it;
      }
    } else if (*(it) >= '5') {
      *--(--it) = *it + 1;
      it = num.begin();
      while (*it != '.') {
        printf("%c", *it);
        ++it;
      }
    }
  } else
    printf("GOTO Vasilisa.");
  return 0;
}
