HTMLCollection and Document.getElementsByTagName