ku-simons:307-20 ku-simons:327