ku-simons:7900-7 ku-simons:7907