function clear_ws(txt){
	while(txt.substr(0, 1)==' ') txt = txt.substr(1);
	return txt;
}