Original: Gilberto Carlos Nascimento or simply Betinho (born June 14, 1966 in Ipiranga, Brazil) is a former Brazilian football player.
Simplified: He has played for Brazil national team.