( 4225 * .)