--- trunk2/out/js/usage.js	2004/09/23 23:17:42	466
+++ trunk2/out/js/usage.js	2004/09/23 23:19:38	467
@@ -116,16 +116,22 @@
     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);
     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","_blank");
+    e.appendChild(document.createTextNode(">>"));
+    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"));
   }