Oh, but in the DOM API it _is_ element.tabIndex, just to make things more fun.