( 15 , 688 .)