--- trunk2/out/js/usage.js	2004/09/15 21:15:50	451
+++ trunk2/out/js/usage.js	2004/09/22 18:00:21	461
@@ -92,7 +92,9 @@
   if(result.length < 1)
   {
     header = (d.getElementsByTagName("h2"))[0].firstChild;
-    header.replaceData(0, 14, "Nothing Found ");
+    try {
+      header.replaceData(0, 14, "Nothing Found ");
+    } catch(e) {}
 
     if(search_err != "")
     {
@@ -130,6 +132,8 @@
   // Change header
   header = (d.getElementsByTagName("h2"))[0].firstChild;
 
-  header.replaceData(0, 14, "Search Results");
+  try {
+    header.replaceData(0, 14, "Search Results");
+  } catch(e) {}
 
 }