( 19 , 712 .)