string(13) "san fructuoso"