ku-simons:3387-89 ku-simons:3476