ku-simons:3732-74 ku-simons:3806