ku-simons:7639-6 ku-simons:7645