function selectNav(id)
{
	getElement(id).className = "selectedNav";
};

function historyMenuClick(event, id)
{
	var historyMenuItems = getElementsByClassName("historyMenuItem");
	for(var i = 0; i < historyMenuItems.length; i++)
	{
		removeClass(historyMenuItems[i], "selectedHistory");
	}
	addClass(event.target || event.srcElement, "selectedHistory");
	
	var historyTextItems = getElementsByClassName("historyText");
	for(var i = 0; i < historyTextItems.length; i++)
	{
		historyTextItems[i].style.display = "none";
	}
	getElement(id).style.display = "block";

};