#include <bits/stdc++.h>
using namespace std;
string st;
int main() {
  cin >> st;
  for (int i = 0; i < st.length(); i++) {
    if (st[i] == '.')
      if (st[i - 1] == '9')
        printf("GOTO Vasilisa.");
      else if (st[i + 1] <= '4')
        for (int j = 0; j < i; j++) printf("%c", st[j]);
      else {
        st[i - 1]++;
        for (int j = 0; j < i; j++) printf("%c", st[j]);
      }
  }
}
