1 derepressed	Derreprimido.