( 12 , 708 .)