Mourners hugged outside of Pinto's funeral.