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