document.write('<P CLASS="navigation-bar">');
j=100 / MenuOptsL.length
document.write('\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0')
for (i=0; i < MenuOptsL.length; i++) {
	if (i>0) document.write('\xA0\xA0|\xA0\xA0');
	document.write('<A HREF= ' + MenuHrefs[i] + ' TARGET="bottom_right">' + MenuOptsS[i] + '</A>');
	}    
document.write('</P>');