believe the IK 31 is the equivalent to the NGK R7234-10 and the IK27 is the equivalent to the NGK R7234-9
Thanks! I actually checked Denso's website after posting and the IK01-27 was listed as a direct replacment for the NGK-9's. Of course they cost twice as much!