ku-simons:7639-32 ku-simons:7671