function change(id, newClass) {
	identity=document.getElementById(id);
	identity.className=newClass;
}

function switch_lang(lang_id){
	old_loc = window.location.href;
	var lang_index = old_loc.lastIndexOf("/");
	var new_loc = old_loc.substr(0, lang_index-2)+lang_id+old_loc.substr(lang_index, old_loc.length);
	window.location = new_loc;
}