Fan-ts'un-chen, Shanxi