--- trunk2/out/js/usage.js	2004/09/23 18:23:13	465
+++ trunk2/out/js/usage.js	2004/09/24 20:31:11	470
@@ -116,16 +116,23 @@
     var e = document.createElement("font");
 
     e = document.createElement("a");
-    e.setAttribute("href",result[i].link+location.search);
-//    e.setAttribute("target","_blank");
+    e.setAttribute("href","browse.html?o="+result[i].link+"#mfn"+result[i].link);
     e.appendChild(document.createTextNode(result[i].title));
     d.appendChild(e);
     d.appendChild(document.createTextNode(" "));
 
+    e = document.createElement("a");
+    e.setAttribute("href","thes/"+result[i].link+".html"+location.search);
+    e.setAttribute("target","popup");
+    e.onclick = function() { return popup(e) };
+    e.appendChild(document.createTextNode("\u00bb"));
+    d.appendChild(e);
+/*
     e = document.createElement("font");
     e.setAttribute("color","gray");
     e.appendChild(document.createTextNode("["+result[i].frequency+"]"));
     d.appendChild(e);
+*/
     d.appendChild(document.createElement("br"));
   }