#include <bits/stdc++.h>
using namespace std;
string str;
int len;
int main(int argc, char** argv) {
  while (cin >> str) {
    len = -1;
    for (int i = str.length() - 1; i >= 0; i--)
      if (str[i] == '.') {
        len = i - 1;
        break;
      }
    if (len != -1 && str[len] == '9') {
      cout << "GOTO Vasilisa." << endl;
      continue;
    }
    if (len != -1 && str[len + 2] >= '5') {
      int p = 0, q = 1;
      for (int i = len; i >= 0 && q; i--) {
        p = (str[i] - '0' + q) / 10;
        str[i] = (str[i] - '0' + q) % 10 + '0';
        q = p;
      }
      if (q != 0) cout << (char)(q + '0');
    }
    if (len == -1) len = str.length() - 1;
    for (int i = 0; i <= len; i++) cout << str[i];
    cout << endl;
  }
  return 0;
}
