ku-simons:5475-7 ku-simons:5482