#include <bits/stdc++.h>
using namespace std;
int main() {
start:
  string key;
  cin >> key;
  short pointi = key.find('.');
  if (key[pointi - 1] == '9') {
    cout << "GOTO Vasilisa." << endl;
    return 0;
  }
  if (key[pointi + 1] >= '5') {
    key[pointi - 1]++;
  }
  for (int i = 0; i < pointi; i++) {
    cout << key[i];
  }
  cout << endl;
  return 0;
}
