( 12 , 835 .)