$app = &$_SESSION["App"];
if (isset($_GET['application']))
$app->selected_application = $_GET['application'];
$app->display();
$app = &$_SESSION["App"];
if (isset($_GET['application']))
$app->selected_application = $_GET['application'];
$app->display();