--- trunk2/out/thesaurus.html 2004/09/15 16:53:51 448 +++ trunk2/out/thesaurus.html 2004/09/15 21:16:22 452 @@ -14,7 +14,7 @@ document.myfilter.result = function (arr) { return '