Hi QSR,
I'm thinking you want a plug for a 1972 Auto Drive ,without looking at the mower the book says part No. HA25005S (or Champion N21 or NGK B4ES)
If you're mowing near a TV / radio people say a non resistor spark plug can cause no end of interference on neighbours Tv's and radios
so some people use a BR4ES NGK, although I've never had that problem and just use the non resistor plug NGK B4ES or N21 Champion ,
Bosch W10C.
I would usually check that the mower has the original head with the 14 mm thread that is 19 mm reach (length)
Personally I prefer Bosch or NGK but for a lawn mower, I just use any plug the right size as I can buy a mower with
a newish plug for $10. at a tip shop and also get a good set of blades.
The gap is 25 thou . If you have plug fouling problems then you could try a plug with a hotter heat range .
https://www.outdoorking-forum.com.a...ark-plugs-cross-reference.html#Post81898Cheers
Max