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