ku-simons:842-5 ku-simons:847