function trim(str) {
	return str.replace(/(^\s+)|(\s+$)/g,"");
	/*
	str_size = str.length;
	if (str.charAt(0)==" ") {str=str.substr(1,str_size-1);str_size=str_size-1;}
	if (str.charAt(str_size-1)==" ") {str=str.substr(0,str_size-2);}
	return str;
	*/
}

function call_opener(url) {
	window.opener.location.href=url;
}