ku-simons:3862-52 ku-simons:3914