Zündkerzen Evo X (Original?!)

Hi Leute

Kann mir jemand sagen welche Zündkerzen der Xer Evo verbaut hat? Marke und Typ?

Hab da mal was gefunden, weiss aber nicht ob das die richtigen sind: NGK ILKR8E6

Vielen Dank schon mal.