( 9 , 438 .)