In a far away kingdom lived the King, the Prince, the Shoemaker, the Dressmaker and many other citizens. They lived happily until great trouble came into the Kingdom. The ACMers settled there. Most damage those strange creatures inflicted upon the kingdom was that they loved high precision numbers. As a result, the Kingdom healers had already had three appointments with the merchants who were asked to sell, say, exactly 0.273549107 beer barrels. To deal with the problem somehow, the King issued an order obliging rounding up all numbers to the closest integer to simplify calculations. Specifically, the order went like this: Merchants found the algorithm very sophisticated and they asked you (the ACMers) to help them. Can you write a program that would perform the rounding according to the King ’s order? The first line contains a single number to round up -- the integer part (a non-empty set of decimal digits that do not start with 0 -- with the exception of a case when the set consists of a single digit -- in this case 0 can go first), then follows character «. » (a dot), and then follows the fractional part (any non-empty set of decimal digits). The number 's length does not exceed 1000 characters, including the dot. There are no other characters in the input data. If the last number of the integer part is not equal to 9, print the rounded-up number without leading zeroes. Otherwise, print the message "GOTO Vasilisa." (without the quotes).