+ <script>
+ var url = unescape(getParam('url'));
+ var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
+ var CICURI = extractParam(url,'param.CICURI');
+ url = proofcheckerURL + "proofCheck?uri=" + CICURI;
+ document.write(
+ '<a target="proofChecker" href="' + url + '">Proof-check it</a>'
+ );
+ </script>