( 15 , 593 .)