ku-simons:307-38 ku-simons:345