Wang-kuan-jen-t'un, Shanxi