ku-simons:1721-80 ku-simons:1801