document.write('<a href="index.html" class="nav">Individual student views</a>');
document.write('&nbsp;|&nbsp;');
document.write('<a href="campuslife.html" class="nav">Life on campus</a>');
document.write('&nbsp;|&nbsp;');
document.write('<a href="ithaca.html" class="nav">Ithaca & Beyond</a>');
document.write('&nbsp;|&nbsp;');
document.write('<a href="gallery.html" class="nav">Gallery for Fun Pictures</a>');