Почему можно использовать id элемента без использования getElementById?
То есть если мы пишем в html-коде:
<div id="vasya"></div>
и в js-коде пишем:
document.write(vasya.tagName);
То выводится DIV.
Не совсем понимаю почему так получается, в спецификации я подобного не читал.