<!--
  if (document.all || (document.layers && navigator.javaEnabled()))
    document.write(BindFile('menu', '00_text_nav.menu', '$'));
//-->