--- trunk2/out/js/usage.js	2004/09/22 18:00:21	461
+++ trunk2/out/js/usage.js	2004/09/24 18:04:48	469
@@ -27,14 +27,15 @@
 
 function go(f)
 {
-  if(!document.search.query)
+  var form = document.getElementById('search');
+  var query = form.elements['query'].value;
+  var index_name = form.elements['index_name'].options[form.elements['index_name'].selectedIndex].value;
+
+  if(!query)
   {
     return false;
   }
 
-  var query=document.search.query.value;
-  var index_name=document.search.index_name.value;
-
   if(query == null || query == "")
   {
     alert("No search terms entered!");
@@ -115,17 +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+"#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","_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"));
+*/
     d.appendChild(document.createElement("br"));
   }