Странный id для div

Как это работает?

UPD. Мне казалось, что id может быть только строкой: id="res" и обращаться к элементу с этим можно только так: document.getElementById("res")

Ответ

Доступ к html элементам можно получить напрямую по их id, т.е. использовать форму как в Вашем примере: res.innerText, где res - id для данного div. Это поведение определено в стандарте и необходимо прежде всего для обратной совместимости.