document.write(''
  + '<table width="150" border="0" cellspacing="0" cellpadding="0">'
  + '<tr><td height="50"><img src="uk/img/pix.gif" width="1" height="20"></td></tr>'
  + '<tr><td height="20" class="bgmnu" id="td_menu0">&nbsp;<a href="http://www.bull.com/about/index.html" class="mnul" id="menu0"><span class="bold">About Bull</span></a></td></tr>'
  + '<tr><td height="20" class="bgmnu" id="td_menu1">&nbsp;<a href="http://www.bull.com/news/index.php" class="mnul" id="menu1">Press</a></td></tr>'
  + '<tr><td height="20" class="bgmnu" id="td_menu2">&nbsp;<a href="partners.html" class="mnul" id="menu2">UK Partners</a></td></tr>'
  + '<tr><td height="20" class="bgmnu" id="td_menu3">&nbsp;<a href="http://www.bull.com/investors/index.html" target="_blank" class="mnul" id="menu3">Investors</a></td></tr>'
  + '<tr><td height="20" class="bgmnu" id="td_menu4">&nbsp;<a href="http://www.bull.co.uk/locations/locations.html" class="mnul">Location Maps</a></td></tr>'
  + '</table>'
  + '');