12838 ) ( 9512 .)