ku-simons:7933-116 ku-simons:8049