const getElementsByTagName_methodinfo: JSJitInfo;