function addCriteriumToSearchString(frm, extra) {
	tekst = frm.searchstr.value;
	tekst = tekst.replace( /^\s+/g, "" ); // strip leading
	tekst = tekst.replace( /\s+$/g, "" ); // strip trailing
	frm.searchstr.value = tekst + ' ' + extra;
	return true;
}