//change language
function change_lang(lang) {
	if (lang) destination = "?l="+lang;
	if (destination) location.href = destination;
}