// JavaScript Document
var msec = (new Date()).getTime();
new Ajax.Request("./menu.xml?cache="+msec, { method: "get", onSuccess: addMenu });
function addMenu(httpObj) {
	var xmlData = httpObj.responseXML;
	var menuData = xmlData.getElementsByTagName("menu");
	var gMenuList = "<ul>";
	for (var i=0; i<menuData.length; i++) {
		var mName = menuData[i].getAttribute("mName");
		var mUrl = menuData[i].getAttribute("mUrl");
		var mType = menuData[i].getAttribute("mType");
		gMenuList += "<li><a href=\""+mUrl+"\" target=\""+mType+"\">"+mName+"</a></li>";
	}
	gMenuList += "</ul>";
	document.getElementById("gMenu").innerHTML = gMenuList;
}