y esto se codifica como: