+function updateCompressed(checkbox)
+{
+ if (checkbox.checked) updateMode(5, "gz");
+ else updateMode(5, "normal");
+ refreshReload();
+}
+
+function updateDTDPatched(checkbox)
+{
+ if (checkbox.checked) updateMode(6, "yes");
+ else updateMode(6, "no");
+ refreshReload();
+}
+