HTMLElement.properties