// Device Menu
document.write("<b>");
document.write("<a href='history.htm'>History</a> &nbsp;");
document.write("<a href='legal.htm'>Legal Status</a> &nbsp;");
document.write("<a href='investment.htm'>Investment</a>&nbsp;");
document.write("<a href='certificates.htm'>Certificates</a>&nbsp;");
document.write("<a href='brand.htm'>Brand Logo</a>&nbsp;");
document.write("</b>");