document.write('<p class=menu align=right><br>');
document.write('<table cellpadding=0 cellspacing=0 width=120>');
document.write('<tr><td>');
document.write('<img src="img/menutop.jpg" width=120 height=5>');
document.write('</td></tr>');


for (k=0; k<nmenu; k++) {
  document.write('<tr><td class=menucell onmouseover="this.className=\'menucellhighlight\'" onmouseout="this.className=\'menucell\'">');
  if (address[k] == curmenu) {
    document.write('<a class=menured href="'+address[k]+'.html">'+button[k]+'</a>');
  } else {
    document.write('<a class=menu href="'+address[k]+'.html">'+button[k]+'</a>');
  }
  document.write('</td></tr>');
}

document.write('<tr><td class=menucell onmouseover="this.className=\'menubottomcellhighlight\'" onmouseout="this.className=\'menubottomcell\'">');
if (address[nmenu] == curmenu) {
  document.write('<a class=menured href="'+address[nmenu]+'.html">'+button[nmenu]+'</a>');
} else {
  document.write('<a class=menu href="'+address[nmenu]+'.html">'+button[nmenu]+'</a>');
}

document.write('</td></tr>');
document.write('<tr><td>');
document.write('<img src="img/menubottom.jpg" width=120 height=5>');
document.write('</td></tr>');
document.write('</table></p>');
document.write('<br><br><br><br>');