Решим уравнение:
$$log_{13}(17-x) = log_{13}12$$
$$17-x = 12$$
$$-x = 12 - 17$$
$$-x = -5$$
$$x = 5$$
Ответ: 5