( 812 * .)