function redirect (url) {
	location.href = url;
}

function change_lang (lang) {
	href_add_params ("change_lang=" + lang);
}

function href_add_params (paramsStr) {
	var href = location.href;
	if (href.indexOf("?") > 0)
		href += "&" + paramsStr;
	else
		href += "?" + paramsStr;
	location.href = href;
}