How many goals has Ronaldo scored in total for Brazil during the FIFA World Cup finals in football?

Explanation

The list of topscores for the total number of scored goals at the FIFA World Cup finals in football is as follows: Miroslav Klose (Germany, 16 goals and record in 2014), Ronaldo (Brazil, 15 goals and record in 2006), Gerd Müller (Germany, 14 goals and record in 1974), Just Fountain (France, 13 goals and record in 1958), Péle (Brazil, 12 goals) and Sándor Kocsis (Hungary, 11 goals and record in 1954).