ku-simons:7933-109 ku-simons:8042