function trim(stringa) {	while (stringa.substring(0,1) == ' ') {		stringa = stringa.substring(1, stringa.length);	}	while (stringa.substring(stringa.length-1, stringa.length) == ' ') {		stringa = stringa.substring(0,stringa.length-1);	}	return stringa;}