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