var str="<pre class='menu'><a href='index.html'>Home</a>                                        <a href='Forbes_Computer.htm'>Forbes&nbsp;Computer&nbsp;Products&nbsp;and&nbsp;Services</a>                                        <a href='http://www.tetracebu.com'>Tetra Group</a>                                                  <a href='contact.html'>Contact Us</a>&nbsp;</pre>";


document.write(str);