#include <bits/stdc++.h>
using namespace std;
int i, n, mark, mark2, mark3, c;
string a, b;
int main() {
  while (cin >> a) {
    n = a.length();
    c = 0;
    mark = 0;
    mark2 = 0;
    mark3 = 0;
    for (i = 1; i < n - 1; i++) {
      if (a[i] == '.') {
        mark3 = 1;
        mark2 = i;
        if (a[i + 1] == '5' || a[i + 1] == '6' || a[i + 1] == '7' ||
            a[i + 1] == '8' || a[i + 1] == '9')
          c = 1;
        else
          c = 2;
        if (a[i - 1] == '9') {
          cout << "GOTO Vasilisa." << endl;
          mark = 1;
          break;
        }
      }
    }
    if (!mark3) cout << a << endl;
    b = a.substr(0, mark2);
    if (c == 1) b[mark2 - 1]++;
    if (!mark && mark3 == 1) cout << b << endl;
  }
  return 0;
}
