ku-simons:3595-17 ku-simons:3612