document.write('	<a href="index.html" class="nav">Overview</a>');
document.write('	&nbsp;&nbsp;:&nbsp;&nbsp;');
document.write('		<a href="industrial.html" class="nav">Industrial Applications</a>');
document.write('		&nbsp;&nbsp;:&nbsp;&nbsp;');
document.write('	<a href="themes.html" class="nav">Academic Themes</a>');