Text this: La función del oficial público de juez ejecutor en la legislación salvadoreña