" ( 9S24 .)