function chlang() {
	if (o = get_obj("languages")) {
		window.location = "/" + o.value;
	}
}