// JavaScript Document
function trim(s) {
	while(s.charAt(s.length-1)==' ')s=s.substring(0,s.length-1);
	while(s.charAt(0)==' ')s=s.substring(1,s.length);
	return s;
}