var menu0 = new Array()
menu0[0]='<a href="/overview.php">&raquo; Product overview</a>'
menu0[1]='<a href="/whitepapers/">&raquo; White Papers</a>'
menu0[2]='<a href="/press.php">&raquo; In the press</a>'

var menu1 = new Array()
menu1[0]='<a href="/2X/">&raquo; SmartFoxServer 2X</a>'
menu1[1]='<a href="/products/">&raquo; SmartFoxServer</a>'
menu1[2]='<a href="/bits/">&raquo; SmartFoxBits</a>'
menu1[3]='<a href="/products/blueBox.php">&raquo; BlueBox</a>'
menu1[4]='<a href="/products/redBox.php">&raquo; RedBox</a>'
menu1[5]='<a href="/clustering/">&raquo; Clustering</a>'
menu1[6]='<a href="/labs/API">&raquo; API Central</a>'
menu1[7]='<a href="http://www.openspace-engine.com" target="_blank">&raquo; OpenSpace</a>'
//menu1[8]='<a href="/labs/ami">&raquo; Amazon EC2 AMI</a>'

var menu2 = new Array()
menu2[0]='<a href="/docs/" target="_blank">&raquo; Documentation</a>'
menu2[1]='<a href="/forums/">&raquo; Support forums</a>'
menu2[2]='<a href="http://www.youtube.com/smartFoxServer/" target="_blank">&raquo; Video tutorials</a>'
menu2[3]='<a href="/products/faq.php">&raquo; F.a.q.</a>'
menu2[4]='<a href="/services/">&raquo; Other services</a>'
menu2[5]='<a href="javascript:contactUs()">&raquo; Contact us</a>'

var menuwidth='165px' //default menu width
var menubgcolor='#f9f9f9'  //menu bgcolor
var disappeardelay=250  //menu disappear speed onMouseout (in miliseconds)
var hidemenu_onclick="yes" //hide menu when user clicks within menu?