string(13) "cristo, o rei"