TX=Kt4D; C=([PHU]2*BVG_4KT4DE)|([PHU]2*BVG_4KT4DEL)|([PHU]2*BVG_4KT4DS)|([PHU]2*BVG_4KT4DSL);