( 18 , 539 .)