( 12 , 371 .)