tw heads spark plugs

thats what i was thinking it was looking at the heads i just picked up cuz it looks like it takes a gasketed spark plug, and i know most aftermarket companies use a champion rc12yc spark plug which is basically the champion version of the 3924, i am just wanting to double check before putting the wrong plug in.