Wang, Shiyuan (ji suan ji )