#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  string s;
  cin >> s;
  int point = s.find('.');
  if (s[point - 1] != '9') {
    if (s[point + 1] == '0' or s[point + 1] == '1' or s[point + 1] == '2' or
        s[point + 1] == '3' or s[point + 1] == '4')
      cout << s.substr(0, point);
    else
      cout << s.substr(0, point - 1) + (char)((char)s[point - 1] + 1);
  } else
    cout << "GOTO Vasilisa.";
  return 0;
}
