Знакомая.

По материнской линии фамилия Король, по папиной - Девятка.