ku-simons:3862-78 ku-simons:3940