ku-simons:2143-12 ku-simons:2155