document.write('			<a href="index.html" class="sublink">MIT Links</a>');
document.write('			&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('			<a href="journals.html" class="sublink">Journals</a>');
document.write('			&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('			<a href="resources.html" class="sublink">Resources</a>');
document.write('			&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('			<a href="catalogs.html" class="sublink">Vendor Catalogs</a>');
document.write('			&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('			<a href="internal.html" class="sublink">Internal</a>');