ku-simons:9780-72 ku-simons:9852