( 12 , 438 .)