Почему window [id] === document.getElementById(id)

Я заметил, что в нескольких браузерах элементы dom могут быть доступны просто по их идентификатору:

HTML

<div id="chocolat"></div>

JS

alert(chocolat.id); //alerts "chocolat
chocolat; //points to the node
window.chocolat; //idem
chocolat === document.getElementById('chocolat'); // true

(здесь: http://jsfiddle.net/GUUPT/) Это будет работать в некоторых версиях IE, в Chrome, но это не будет в Firefox (5).

Мне любопытно, откуда это взялось? это в стандартах?