ANTÓNIO COSTA, o engraxador.