( 6 , 708 .)