document.write('
'); document.write(' Home'); document.write(' | '); document.write(' News'); document.write(' | '); document.write(' People'); document.write(' | '); document.write(' Research'); document.write(' | '); document.write(' Publications'); document.write(' | '); document.write(' Presentations'); document.write(' | '); document.write(' Courses'); document.write(' | '); document.write(' Links'); document.write(' | '); document.write(' Contact'); document.write('
');