var output;
output = '<div class="nav">';
output += '<a href="index.html">Home</a>';
output += '<a href="Research.html">Research Areas</a>';
output += '<a href="Current.html">Current Projects</a>';
output += '<a href="Expertise.html">Expertise and Service</a>';
output += '<a href="Facilities.html">Facilities</a>';
output += 'Publications';
output += '<a href="Contact.html">Group Members<br>Contact Us</a></div>';
output += '</div>';
document.write(output);