(function(window) {

	window.c = function(str) {
		str = tools.ascii_remove_control_chars(str);
		return str;
	}
	window.h = function(str) {
		str = tools.ascii_remove_control_chars(str);
		str = tools.html_encode(str);
		return str;
	}
	window.hh = function(str) {
		str = tools.ascii_remove_control_chars(str);
		str = tools.html_encode_extended(str);
		return str;
	}
	window._h = function(str) {
		str = tools.html_decode(str);
		return str;		
	}
	window._hh = function(str) {
		str = tools.html_decode_extended(str);
		return str;		
	}
	
})(window);