( 40 , 712 .)