var global_navtree=WpNavBar.readTree({childArray:[{sDescription:"San Diego’s premier dockside mobile repair and service for your vessel.",sTitle:"Home",bIsWebPath:true,sUrl:"index.html"},{sTitle:"Electrical",bIsWebPath:true,sUrl:"electrical.html"},{sTitle:"Mechanical",bIsWebPath:true,sUrl:"mechanical.html"},{sTitle:"Vessel Maintenance",bIsWebPath:true,sUrl:"vessel.html"},{sTitle:"Specials",bIsWebPath:true,sUrl:"specials.html"},{sTitle:"Contact Us",bIsWebPath:true,sUrl:"contactus.html"}]})