function trim(str) {
	return rTrim(lTrim(str));
}
function lTrim(str) {
	return str.replace(/^[   \t\n\r]+/g, "");
}
function rTrim(str) {
	return str.replace(/[   \t\n\r]+$/g, "");
}