( 827 6 .)