királyt – Istvánt.