ku-simons:2143-1 ku-simons:2144