$_SESSION["sel_app"] = $sel_app;
if (isset($_SESSION["App"]) && is_object($_SESSION["App"]))
$_SESSION["App"]->selected_application = $sel_app;
$_SESSION["sel_app"] = $sel_app;
if (isset($_SESSION["App"]) && is_object($_SESSION["App"]))
$_SESSION["App"]->selected_application = $sel_app;