function write_menu(e)
{var i;
va=new Array(
'<A HREF="index.htm">Home</A>','<A HREF="intro.htm">Introduction</A>','<A HREF="list.htm">List of products</A>',
'<A HREF="news.htm">News</A>','<A HREF="softmcg.htm">SoftMCG</A>',
'<A HREF="electr.htm">Electronics </A>','<A HREF="dewar.htm">Cryostats</A>',
'<A HREF="labsys.htm">Lab-systems</A>','<A HREF="mcg.htm">Articles</A>');
document.write('<FONT FACE="Garamond" SIZE=2 COLOR="#0000ff">');
document.write("<B>");
for(i=0;i<9;i++){
	if(e==1)  document.write('<P>');
	else document.write('&nbsp;');
	document.write('<IMG SRC="Bullet7.gif" WIDTH=15 HEIGHT=13>&nbsp;');
	document.write(va[i]);
	if(e==1)  document.write('</P>');
	else document.write('&nbsp;');
	}
document.write("</B></FONT>");
}