var mnus = new Array('solutions','developers','support','sales','rss');
var toID = 0;

function cancelAutoHide() {
 clearTimeout(toID);
}

function showMenu(id) {
 cancelAutoHide();
 var obj;
 for (var i = 0; i < mnus.length; i++) {
  obj = document.getElementById(mnus[i]);
  obj.style.display = (mnus[i] == id) ? '' : 'none';
 }
}

function autoHide() {
 toID = setTimeout('hideMenus();', 100);
}

function hideMenus() {
 for (var i = 0; i < mnus.length; i++) {
  document.getElementById(mnus[i]).style.display = 'none';
 }
}