<script type="text/javascript"> <?php $json = new JsonSender(false); ?> var refreshIntv = <?php $json->sendInteger($refreshTime); ?> ; var loggedInUser = null; <?php if ($loggedInUser !== NULL) { echo "loggedInUser = "******";\n"; } $json->close(); ?> </script> </head> <body> <div class="navbar navbar-fixed-top"> <div class="navbar-inverse"> <div class="navbar-inner"> <a class="brand" href="?">NameID Chat</a> <ul class="nav"> <?php $classHome = ""; $classLogin = ""; switch ($status) {