document.write('Home');
document.write(' | ');
document.write('People');
document.write(' | ');
document.write('Research');
document.write(' | ');
document.write('Publications');
document.write(' | ');
document.write('Teaching');
document.write(' | ');
document.write('REU');
document.write(' | ');
document.write('Photos');