document.write(''
  + '<table width="150" border="0" cellspacing="0" cellpadding="5">'
  + '<tr><td height="30" class="leftmenu"class="bgsmnu" id="td_menu9">&nbsp;<a href="http://www.bull.com/intel/windows.html" class="mnul" id="menu9">Windows</a></td></tr>'
  + '<tr><td height="30" class="leftmenu"class="bgsmnu" id="td_menu10">&nbsp;<a href="http://www.bull.com/opensource/index.html" class="mnul" id="menu10">Linux</a></td></tr>'
  + '<tr><td height="40" class="bgsmnu" id="td_menu18">&nbsp;<a href="http://www.bull.com/novascale/tools.html" class="mnul" id="menu18">Intel® Software<br>&nbsp;Development<br>&nbsp;Products</a></td></tr>'
  + '<tr><td height="10" class="bgsmnu" ></td></tr>'
  + '<tr><td height="30" class="leftmenu"class="bgsmnu" id="td_menu8">&nbsp;<a href="http://www.bull.com/novascale/hpc.html" class="mnul" id="menu8">HPC</a></td></tr>'
  + '<tr><td height="20">&nbsp; </td></tr>'
  + '<tr><td height="10" class="bgsmnu" ></td></tr>'
  + '<tr><td height="30" class="leftmenu"class="bgsmnu" id="td_menu12">&nbsp;<a href="http://www.cs.bull.net/" class="mnul" id="menu12">Technical support</a></td></tr>'
  + '</table>'
  + '');