--- index.php	2001/07/22 18:02:06	1.8
+++ index.php	2001/07/22 18:03:31	1.9
@@ -37,6 +37,9 @@
 	}
 	if (find_html_file("static/$d[0]",$d[1])) {
 		$main=join('',file(find_html_file("static/$d[0]",$d[1])));
+		// fix entities from MS programs
+		include("fix_msshit.inc");
+		$main=fix_msshit($main);
 	} else {
 		$main="<b>Can't find static/$d[0]/$d[1]</b>";
 	}