ku-simons:8878-85 ku-simons:8963