ku-simons:3732-27 ku-simons:3759