latter is the result of executing the executable.
				</div>
			</div>

			<div class="def def-text">
				<div class="def-header">Execution of a JavaScript library</div>
				<div class="def-text-body">
					Within the same JavaScript engine, the same <a>JavaScript library</a> MUST NOT be executed more than once.
					When a <a>JavaScript library</a> is executed, all its values for <code>sh:jsLibraryURL</code> must be resolved into JavaScript code.
					By default this resolution mechanism MUST be performing