function toggle(eid)
{
	buglist = document.getElementById(eid);
	togtext = document.getElementById(eid + "-tog");

	if (buglist.style.display == "none")
	{
		buglist.style.display = "";
		togtext.innerHTML = "hide bug numbers";
	}
	else
	{
		buglist.style.display = "none";
		togtext.innerHTML = "show bug numbers";
	}
}