var m = [

["About","about.html"],
["Stock List","list.html"],
["Purchasing","purchase.html"],
["Publishing","publish.html"]

];



function Menu()
{
	var d = document.createElement("DIV");
	
	d.innerHTML = "<a href=index.html class=menuitem>Home</a>";
	for (var i=0, j=m.length; i<j; i++)	{
		if (new RegExp(m[i][1]).test(window.location.pathname))	continue;
		d.innerHTML += "<span class=menuitem>&bull;</span><a href=" + m[i][1] + " class=menuitem>" + m[i][0] + "</a>";
	}
	d.setAttribute("id", "menu");
	document.body.appendChild(d);
}