// JavaScript Document

function aboutMenu(tab)
{
	var tab_table = document.getElementById(tab);
	var tab_display = tab_table.style.display;
	if (tab_display == ""){
		tab_table.style.display = "none";
	} else {
		tab_table.style.display = "";
	}
}