The original spark plugs were Bosch H9DC. I would recommend going with Bosch H9DCO, which are essentially the same, except heavy duty center electrode. The DCO version became the standard plug in August 1988. They can be used interchangeably.

Gilly