function jsTranslate(s) {
	if (typeof(jsTranslatorTexts)!='undefined' && jsTranslatorTexts[s]) {
		return jsTranslatorTexts[s];
	}
	return s;
}