NGK PLUGS

[arsey30]

My friend is looking to replace plugs, his manual says use NGK CR9EHVX-9,
[platinum] but NGK catalogue says CR9EHIX-9.[Iridium]

Which type is correct/best,

Thanks