This Champion plug has another number that might be referred too and it is #872

The regular price for this plug is $4.10 but I've seen prices all over the place from $1.67 to close to $20 so watch yourself. The "R" plugs cost more than the regular one

The plug gap is around .020"