--- trunk2/eurovoc/js/usage.js	2004/11/06 22:46:30	591
+++ trunk2/eurovoc/js/usage.js	2004/11/06 23:25:30	592
@@ -25,6 +25,14 @@
  Nashville, TN 37204
 */
 
+/*
+ Internet Explorer returns operation aborted if no debug div is present on
+ page, so we'll override default debug function from jsFind with dummy one.
+*/
+function debug(foo) {
+	return;
+}
+
 function go(f)
 {
 	var form = document.getElementById('search');