Benja es un diminutivo de Benjamín.