Quanto custou essa brincadeirinha para o contribuinte?