document.write('Home'); document.write('   :   '); document.write('Research'); document.write('   :   '); document.write('People'); document.write('   :   '); document.write('Publications'); document.write('   :   '); document.write('Teaching'); document.write('   :   '); document.write('News'); document.write('   :   '); document.write('Contact'); document.write('   :   '); document.write('Wiki');