Su debut fue el 7 de julio de 1957 contra Argentina en el Maracaná por la Copa Julio Roca, y aunque anotó, Brasil perdió 2-1.