// menu_items.js file

var MENU2_ITEMS =[
	["Overview", "index.html"],
	["Tactical Planning", "Hm000002.Htm"],
	["Operative Planning", "Hm000003.Htm"],
	["Miscellaneous", "Hm000004.Htm"],
	["Literature", "Hm000009.Htm"]
];