( 13 , 539 .)