ku-simons:7933-10 ku-simons:7943