// JavaScript Document
function LoadMenus() {
  if (window.menu_0) return;
  window.menu_1 = new Menu("root",120);
menu_1.addMenuItem("Satellite Equipment","satequip.htm");
menu_1.addMenuItem("GPS Equipment","gpsequip.htm");
  menu_1.hideOnMouseOut=true;

  menu_1.writeMenus();
} 
LoadMenus()