( 9 , 051 .)