document.write('
'); document.write(' home'); document.write(' | '); document.write(' research'); document.write(' | '); document.write(' lab members'); document.write(' | '); document.write(' pictures'); document.write(' | '); document.write(' publications'); document.write(' | '); document.write(' contact info'); document.write(' | '); document.write('