ku-simons:307-10 ku-simons:317