first, what plugs came with the car...rather, the engine?
you need to go down to any parts store that sells NGK plugs.
then, you ask the parts person to look-up your stock plug #.
then you have them do the figuring from there.
the geek