Since it wasn’t the equivalent of $ 30.000 by far and presumably used more likely similar to ours, i assume it was that very same quarter, that was usually used to flip the coin.