つまり、2つの異なるcodice_7を提供するのである。