--- trunk2/out/js/search.js	2004/10/10 06:03:06	496
+++ trunk2/out/js/search.js	2004/10/10 18:55:05	505
@@ -91,7 +91,8 @@
   // this will create debug div if it doesn't exist.
   if (! debug_div) {
   	debug_div = document.createElement('div');
-	document.body.appendChild(debug_div);
+	if (document.body) document.body.appendChild(debug_div);
+	else debug_div = null;
   }
   if (debug_div) {
   	debug_div.appendChild(document.createTextNode(msg));