document.write('
'); document.write(' '); document.write(' '); document.write('
     '); document.write(' Overview'); document.write('   |  '); document.write(' References'); document.write('   |  '); document.write(' SOP'); document.write('   |  '); document.write(' Additional Notes'); document.write('   | '); document.write(' FAQ'); document.write('   | '); document.write(' Reservations'); document.write('
'); document.write('
');