domMenu_data.set('domMenu_top', new Hash(

     1, new Hash(
          'contents', 'Site map',
          'uri', 'site_map.php',
          'target', '_self',
          'statusText', 'Site map'),
     2, new Hash(
          'contents', 'Useful links',
          'uri', 'Useful_links.html',
          'target', '_self',
          'statusText', 'Useful links'),
     3, new Hash(
          'contents', 'Downloads',
          'uri', 'Downloads.html',
          'target', '_self',
          'statusText', 'Downloads'),
     4, new Hash(
          'contents', 'News & Events',
          'uri', 'News_Events.html',
          'target', '_self',
          'statusText', 'News & Events'),
     5, new Hash(
          'contents', 'FAQs',
          'uri', 'Frequently_Asked_Questions.html',
          'target', '_self',
          'statusText', 'FAQs')
));