Punctured extended 1-perfect 4-linear codes

Let C be a 1-perfect additive code. The extended code C? is an extended 1-perfect 4-linear or additive non 4-linear code. If C? is the extended 1-perfect additive non 4-linear code of C and we puncture a binary coordinate, then (C?)0 is isomorphic to C. We will prove that a punctured extended 4-linear code is not a 1-perfect additive code up to the extended Hamming code of length 16. Keywords:Perfect codes, extended codes, quaternary codes, additive codes, 4-linear codes.