"Instituto de Racionalización y Normalización"@es . . . "1"^^ . . . . . .