( 54 , 439 .)