function displayHeader()
{
global $loggedInCookieName;
echo "<div class='header'>";
echo "<p>";
echo "<a href='default.php'>Welcome</a> " . getLoggedInUserName();
echo " | " . "<a href='edit_research.php'>Edit Research</a>";
echo " | " . "<a href='upload_research_file.php'>Upload Research</a>";
echo " | " . "<a href='edit_user.php'>Edit User Details</a>";
echo " | " . "<a href='list_users.php'>Manage Users</a>";
echo " | " . "<a href='researchExamples.php'>Samples</a>";
echo " | " . "<a href='misc_page.php'>Misc</a>";
echo " | " . "<a href='logout.php'>Logout</a>";
echo "</p>";
echo "</div>";
}
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="dashboard.php"> <i class="fa fa-asterisk fa-fw"></i> KFtronics Product Analysis System</a>
</div>
<!-- /.navbar-header -->
<ul class="nav navbar-top-links navbar-right">
<li >
<a href="#">
<div>
Welcome <strong> <?php
echo getLoggedInUserName();
?>
</strong> (id # <?php
echo getLoggedInUserID();
?>
)
</div>
</a>
</li>
<!-- /.dropdown -->
<!-- /.dropdown -->
<li class="dropdown">
