--- trunk2/out/js/usage.js	2004/09/23 23:19:38	467
+++ trunk2/out/js/usage.js	2004/09/24 18:04:48	469
@@ -116,7 +116,7 @@
     var e = document.createElement("font");
 
     e = document.createElement("a");
-    e.setAttribute("href","browse.html?o="+result[i].link);
+    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(" "));