-executable">
					The <dfn data-lt="execution-of-executable">execution of a <a>JavaScript executable</a></dfn> consists of <em>executing</em>
					any <a>JavaScript libraries</a> that are <a>values</a> of <code>sh:jsLibrary</code> (including
					the libraries referenced by those libraries), followed
					by the <a href="#dfn-execution-of-a-javascript-function">execution of the JavaScript function</a> that has the same name as the
					<a>value</a> of <code>sh:jsFunctionName</code>.
					The result of the 