( 12 , 967 .)