またcodice_17のときはcodice_18を返す。