#include <bits/stdc++.h>
using namespace std;
const int maxx = 1005;
char ch[maxx];
int main() {
  int i = 0;
  int flag = 0;
  while (~scanf("%c", &ch[i]) && ch[i] != '\n') {
    i = 1;
    while (~scanf("%c", &ch[i]) && ch[i] != '\n') {
      if (ch[i] == '.') flag = i;
      i++;
    }
    if (ch[flag - 1] == '9') {
      cout << "GOTO Vasilisa." << endl;
    } else if (ch[flag + 1] - '0' >= 5) {
      for (int i = 0; i < flag - 1; i++) {
        cout << ch[i];
      }
      cout << ch[flag - 1] - '0' + 1 << endl;
    } else {
      for (int i = 0; i < flag; i++) {
        cout << ch[i];
      }
      cout << endl;
    }
    i = 0;
  }
  return 0;
}
