$PREF = DB_get_PREF(isset($_SESSION['id'])?$_SESSION['id']:$myid);
/* set language chosen in preferences, will become active on the next reload (see index.php)*/
$_SESSION['language'] = $PREF['language'];
$PREF = DB_get_PREF(isset($_SESSION['id'])?$_SESSION['id']:$myid);
/* set language chosen in preferences, will become active on the next reload (see index.php)*/
$_SESSION['language'] = $PREF['language'];