ku-simons:9876-7 ku-simons:9883