( 13 , 593 .)