import javascript

from JSXElement elt, int i
select elt, i, elt.getAttribute(i).getName()