Su población es de 4.134.