document.write('<a href="index.html" class="nav">Faculty</a>');
document.write('&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('<a href="staff.html" class="nav">Staff</a>');
document.write('&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('<a href="students.html" class="nav">Students</a>');
document.write('&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('<a href="alumni.html" class="nav">Alumni</a>');