function trim(txt)
{
	// eerste niet spatie zoeken vanaf begin
	for (startpos=0; (txt.charAt(startpos)==' ')&&(startpos<txt.length); startpos++);

	if (startpos == txt.length)
	{	// alleen maar spaties!
		txt='';
	}
	else
	{	// spaties verwijderen van begin
		txt=txt.substring(startpos, txt.length);

		// eerste niet spatie zoeken vanaf eind
		for (endpos=(txt.length)-1; txt.charAt(endpos)==' '; endpos--);

		// spaties verwijderen van eind
		txt=txt.substring(0, endpos+1);
	}
	return(txt);
}