You merely need to look for Bosch part # H9DCO. That plug offers the correct heat range. If you find part # H9DC, that too is acceptable.
The plug with the O on the end has a slightly wider electrode. I've used both and could not say one performed better than the other, although I prefer the beefier look of the H9DCO electrode.