function menugen(idx)
{
 var menuname = new Array();
 var menuurl = new Array();
 menuname[1]="Home";menuurl[1]="Index";
 menuname[2]="Case Summary";menuurl[2]="GuntherLong";
 menuname[3]="The Appellant Brief";menuurl[3]="Brief";
 menuname[4]="Non-Accuser Interviews";menuurl[4]="Nonaccuser";
 menuname[5]="Current Status";menuurl[5]="Status";
 menuname[6]="Helping Gunther";menuurl[6]="Help";
 menuname[7]=" ";menuurl[7]=null;
 menuname[8]="Search Site";menuurl[8]="SiteSearch";
 for (i=1;i<=8;i++)
 {
  if (menuname[i] == idx || menuurl[i] == idx || menuurl[i] == null)	
  {
   document.write('<div class="menl">');
   document.write(menuname[i]);
  }
  else
  {
   document.write('<div class="me">');
   document.write('<a href="'+menuurl[i]+'.html">'+menuname[i]+'</a>');
  } 
  document.write('</div>');
 } 
 document.write('<hr>'); 
}