#include <bits/stdc++.h>
using namespace std;
int main() {
  char c[1001] = {0};
  gets(c);
  int now = 0;
  while (c[now] != '.') now++;
  if (c[now - 1] == '9') {
    puts("GOTO Vasilisa.");
    return 0;
  }
  if (c[now + 1] >= '5') c[now - 1]++;
  c[now] = 0;
  puts(c);
  return 0;
}
