#include <bits/stdc++.h>
using namespace std;
int main() {
  string str;
  cin >> str;
  for (int i = 0; i < (int)str.size(); i++)
    if (str[i] == '.') {
      if (str[i - 1] == '9')
        puts("GOTO Vasilisa.");
      else {
        if (str[i + 1] >= '5') str[i - 1]++;
        puts(str.substr(0, i).c_str());
      }
      break;
    }
  return 0;
}
