( 859 ' 3)