h2.uri { margin-top: 0ex; margin-bottom: 0ex }
</style>
-<script language="JavaScript" src="../../javascript/defaults.js"></script>
-<script language="JavaScript" src="../../javascript/utils.js"></script>
-<script language="JavaScript" src="../../javascript/control.js"></script>
<script>
var interfaceURL = "<subst:interfaceURL/>";
var processorURL = "<subst:processorURL/>";