tool_sync_courseactivation) echo "checked=\"checked\"" ?> />
	tool_sync_useractivation) echo "checked=\"checked\"" ?> />
	tool_sync_userpicturesactivation) echo "checked=\"checked\"" ?> />
	tool_sync_enrolactivation) echo "checked=\"checked\"" ?> />
	tool_sync_encoding == "UTF-8"){ echo ' selected="selected"'; } ?> >UTF-8 tool_sync_encoding == "ISO-8859-1"){ echo ' selected="selected"'; }?> >ISO-8859-1
	tool_sync_csvseparator == ","){ echo ' selected="selected"'; } ?> >, tool_sync_csvseparator == ";"){ echo ' selected="selected"'; }?> >;

	tool_sync_Mon) echo "checked=\"checked\"" ?> />		tool_sync_h) == "0"){ echo " selected=\"selected\""; } echo ">0 "; print_string('hour', 'tool_sync'); echo ""; echo "tool_sync_h)=="1"){ echo " selected=\"selected\""; } echo ">1 "; print_string('hour', 'tool_sync'); echo ""; $i = 2; while($i < 24){ echo "tool_sync_h) == "$i"){ echo " selected=\"selected\""; } echo ">$i "; print_string('hour','tool_sync'); echo "s"; $i = $i + 1; } ?>
	tool_sync_Tue) echo "checked=\"checked\"" ?> />		tool_sync_m)=="0"){ echo " selected=\"selected\""; } echo ">0 "; print_string('minute', 'tool_sync'); echo ""; $i = 5; while($i < 60){ echo "tool_sync_m)=="$i"){ echo " selected=\"selected\""; } echo ">$i "; print_string('minute', 'tool_sync'); echo "s"; $i=$i+5; } ?>
	tool_sync_Wed) echo "checked=\"checked\"" ?> />
	tool_sync_Thu) echo "checked=\"checked\"" ?> />
	tool_sync_Fri) echo "checked=\"checked\"" ?> />
	tool_sync_Sat) echo "checked=\"checked\"" ?> />
	tool_sync_Sun) echo "checked=\"checked\"" ?> />		tool_sync_ct) == "$i"){ echo " selected=\"selected\""; } echo ">$i "; print_string('minute', 'tool_sync'); echo "s"; $i = $i + 10; } ?>

	tool_sync_enrolcleanup)) echo "checked=\"checked\"" ?> />
	tool_sync_filearchive)) echo "checked=\"checked\"" ?> />
	tool_sync_filefailed)) echo "checked=\"checked\"" ?> />
	tool_sync_filecleanup)) echo "checked=\"checked\"" ?> />