Source position: dom.pp line 609
public function TDOMElement.GetAttribute(
const name: DOMString
):DOMString;