{
$l = array_search_value($i_lang, $inst_langs, 'code');
$_SESSION['language'] = new language($l['name'], $l['code'], $l['encoding'],
{
$l = array_search_value($i_lang, $inst_langs, 'code');
$_SESSION['language'] = new language($l['name'], $l['code'], $l['encoding'],