Original: He played 80 times for the Brazilian national football team .
Simplified: He has played for Brazil national team .