2 ; 10424 .)