+/*
+ * Add a rule (really, just un-hide it)
+ * FIXME check the upper bound
+ */
+ "function AddRule() { \n"
+ " highest_active_rule = highest_active_rule + 1; \n"
+ " $('active'+highest_active_rule).checked = true; \n"
+ " UpdateRules(); \n"
+ "} \n"
+
+ "</script> \n"
+ );