"direccion general de obras publicas"^^ . . .