ku-simons:8157-14 ku-simons:8171