what is the population where municipality is san jacinto?
37737.0