#include <bits/stdc++.h>
using namespace std;
int main() {
  string s, t;
  cin >> s;
  int pos = s.find('.');
  if (pos - 1 != s.find('9', pos - 1)) {
    if (s[pos + 1] != '0' && s[pos + 1] != '1' && s[pos + 1] != '2' &&
        s[pos + 1] != '3' && s[pos + 1] != '4')
      switch (s[pos - 1]) {
        case '8':
          s[pos - 1] = '9';
          break;
        case '7':
          s[pos - 1] = '8';
          break;
        case '6':
          s[pos - 1] = '7';
          break;
        case '5':
          s[pos - 1] = '6';
          break;
        case '4':
          s[pos - 1] = '5';
          break;
        case '3':
          s[pos - 1] = '4';
          break;
        case '2':
          s[pos - 1] = '3';
          break;
        case '1':
          s[pos - 1] = '2';
          break;
        case '0':
          s[pos - 1] = '1';
          break;
      }
    t.assign(s, 0, pos);
    cout << t;
  } else
    cout << "GOTO Vasilisa.";
  return 0;
}
