--- trunk2/out/search.html	2004/10/10 18:56:24	507
+++ trunk2/out/search.html	2004/10/10 19:15:45	508
@@ -52,7 +52,7 @@
 <div>
 
 <div style="float: right; width: 10em; text-align: center; margin: 0.5m">
-<a href="#" onclick="javascript:toggle_display('debug');">debug</a>
+<a href="#" onclick="toggle_display('debug');">debug</a>
  <div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
  </div>
 </div>