function trim(str) {
	return str.replace(/^\s*/,'').replace(/\s*$/,'');
}