with (document)
{
  write ('<div class="menu">');
  write('<a href="../index.html">Home</a>');

  if (document.title == "File screen")
  	write('<a id="sel" href="m_files.html">File screen</a>');
  else
  	write('<a href="m_files.html">File screen</a>');

  if (document.title == "Key screen")
  	write('<a id="sel" href="m_access.html">Key screen</a>');
  else
  	write('<a href="m_access.html">Key screen</a>');

  if (document.title == "Detail screen")
  	write('<a id="sel" href="m_sr_browse.html">Detail screen</a>');
  else
  	write('<a href="m_sr_browse.html">Detail screen</a>');

  if (document.title == "Report screen")
  	write('<a id="sel" href="m_mr_browse.html">Report screen</a>');
  else
  	write('<a href="m_mr_browse.html">Report screen</a>');

  if (document.title == "Starting values window")
  	write('<a id="sel" href="m_start.html">Starting values</a>');
  else
  	write('<a href="m_start.html">Starting values</a>');

  if (document.title == "Where criteria window")
  	write('<a id="sel" href="m_where.html">Where criteria</a>');
  else
  	write('<a href="m_where.html">Where criteria</a>');

  if (document.title == "User preferences window")
  	write('<a id="sel" href="m_user_prefs.html">User preferences</a>');
  else
  	write('<a href="m_user_prefs.html">User preferences</a>');

  if (document.title == "File preferences window")
  	write('<a id="sel" href="m_file_prefs.html">File preferences</a>');
  else
  	write('<a href="m_file_prefs.html">File preferences</a>');

  if (document.title == "Edit mask window")
  	write('<a id="sel" href="m_mask.html">Edit masks</a>');
  else
  	write('<a href="m_mask.html">Edit masks</a>');

  if (document.title == "Select file window")
  	write('<a id="sel" href="m_select_file.html">Select file</a>');
  else
  	write('<a href="m_select_file.html">Select file</a>');

  if (document.title == "Select session window")
  	write('<a id="sel" href="m_select_session.html">Select session</a>');
  else
  	write('<a href="m_select_session.html">Select session</a>');

  if (document.title == "Browsing screen navigation")
  	write('<a id="sel" href="m_bs_navigation.html">Navigation</a>');
  else
  	write('<a href="m_bs_navigation.html">Navigation</a>');

  if (document.title == "Modifying data")
  	write('<a id="sel" href="m_modify.html">Modify data</a>');
  else
  	write('<a href="m_modify.html">Modify data</a>');

  if (document.title == "Deleting a record")
  	write('<a id="sel" href="m_delete.html">Delete record</a>');
  else
  	write('<a href="m_delete.html">Delete record</a>');

  if (document.title == "Adding a record")
  	write('<a id="sel" href="m_add.html">Add record</a>');
  else
  	write('<a href="m_add.html">Add record</a>');

  if (document.title == "Copying a record")
  	write('<a id="sel" href="m_copy.html">Copy record</a>');
  else
  	write('<a href="m_copy.html">Copy record</a>');

  if (document.title == "Redefining a field")
  	write('<a id="sel" href="m_redefine.html">Redefine field</a>');
  else
  	write('<a href="m_redefine.html">Redefine field</a>');

  if (document.title == "User LDA")
  	write('<a id="sel" href="m_user_lda.html">User LDA</a>');
  else
  	write('<a href="m_user_lda.html">User LDA</a>');

  if (document.title == "User DDM")
  	write('<a id="sel" href="m_user_ddm.html">User DDM</a>');
  else
  	write('<a href="m_user_ddm.html">User DDM</a>');

  if (document.title == "Selecting a User DDM")
  	write('<a id="sel" href="m_user_ddm3.html">Select User DDM</a>');
  else
  	write('<a href="m_user_ddm3.html">Select User DDM</a>');

  if (document.title == "Display the DDM")
  	write('<a id="sel" href="m_ddm.html">Display DDM</a>');
  else
  	write('<a href="m_ddm.html">Display DDM</a>');

  if (document.title == "Sticky fields")
  	write('<a id="sel" href="m_sticky.html">Sticky fields</a>');
  else
  	write('<a href="m_sticky.html">Sticky fields</a>');

  if (document.title == "User exits")
  	write('<a id="sel" href="m_user_exits.html">User exits</a>');
  else
  	write('<a href="m_user_exits.html">User exits</a>');

  if (document.title == "File linking")
  	write('<a id="sel" href="m_file_links.html">File linking</a>');
  else
  	write('<a href="m_file_links.html">File linking</a>');

  if (document.title == "Program generation")
  	write('<a id="sel" href="m_program_gen.html">Program generation</a>');
  else
  	write('<a href="m_program_gen.html">Program generation</a>');

  if (document.title == "Using the FAQ")
  	write('<a id="sel" href="m_faq.html">Using the FAQ</a>');
  else
  	write('<a href="m_faq.html">Using the FAQ</a>');

  if (document.title == "Site FAQ")
  	write('<a id="sel" href="m_faq2.html">Creating a FAQ</a>');
  else
  	write('<a href="m_faq2.html">Creating a FAQ</a>');

  if (document.title == "Current Version")
  	write('<a id="sel" href="m_ver.html">Current Version</a>');
  else
  	write('<a href="m_ver.html">Current Version</a>');

  if (document.title == "Security settings")
  	write('<a id="sel" href="m_sec.html">Security</a>');
  else
  	write('<a href="m_sec.html">Security</a>');

  if (document.title == "Setting the UDB parameter")
  	write('<a id="sel" href="m_udb.html">UDB</a>');
  else
  	write('<a href="m_udb.html">UDB</a>');

  if (document.title == "Help")
  	write('<a id="sel" href="m_help.html">Help</a>');
  else
  	write('<a href="m_help.html">Help</a>');
  
  if (document.title == "New features")
    write('<a id="sel" href="m_new.html">New Features</a>');
  else
    write('<a href="m_new.html">New Features</a>');

  write ('</div>');
}