( 13 , 579 .)