Question: How many goals, in total, in the 1982 World Cup, did the player who scored a hat-trick against Brazil, score ?
Sentence (from "Paolo Rossi"): Along with Roberto Baggio and Christian Vieri, he is Italy's top scorer in World Cup history, with 9 goals in total.
Relevant evidence: No