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

function properCase(str)
{
	ret = str;
	i = 0;
	while (found = ret.match(/^(.*\b)([a-z])(.*)$/))
	{
		ret = found[1] + found[2].toUpperCase() + found[3];
		if (i++ > 100) break;
	}
	return ret;
}

function lowerCase(str)
{
	ret = str.toLowerCase();
	return ret;
}

function upperCase(str)
{
	ret = str.toUpperCase();
	return ret;
}