( 18 , 712 .)