( 15 , 709 .)