( 12 , 817 .)