function _s(s) {
	var bits = s.split('%');
	var out = bits[0];
	var re = /^([ds])(.*)$/;
	for (var i=1; i<bits.length; i++) {
	p = re.exec(bits[i]);
	if (!p || arguments[i]==null) continue;
	if (p[1] == 'd') {
	out += parseInt(arguments[i], 10);
	} else if (p[1] == 's') {
	out += arguments[i];
	}
	out += p[2];
	}
	return out;
}

function changeLanguage(lang)
{
	AjaxRequest.get({
	'url': baseUrl+'changeLanguage.php?lang='+lang,
	'onSuccess':function(req){ 
			document.location.href = document.location;
		}});
}