function encodeString(myPlainStr) {
	var tmp;
	tmp = myPlainStr.replace(/@/, atsynonym);
	tmp = tmp.replace(/\./g, dotsynonym);
	return tmp;
}