6122 VC(NVC(K),K)=X