function trim(src)
{
	src=""+src;
	src=(src.replace(/\s+$/,"").replace(/^\s+/,""));
	src=(src.replace(/\s+/g," ").replace(/\s+$/,"").replace(/^\s+/,""));
	return src;
}