( 12 , 845 .)