// list of those options which have been selected.
element = dom.openElement("filled");
element.setAttribute("mode", "any");
element = dom.openElement("script");
dom.appendEncoded("var separator = \"\";var result = \"\";");
element = dom.closeElement("script");
element = dom.addElement("return");
element.setAttribute("namelist", "result");
dom.closeElement("filled");