Hung-yen-ch'uan, Shanxi