function showMenu(menu_id)
{
	var menu = document.getElementById(menu_id);

	if (menu.style.display == "block")
	{
		menu.style.display = "none";
	}
	else
	{
		menu.style.display = "block";
	}
}
//There should be a better place for this, but I haven't found it yet, so
//I'm throwing it here for now. vik 9/12/06
/*function toggle_hidden_comment(obj)
{
    var subject = document.getElementById(obj).childNodes[2];
    var subjectText = subject.childNodes[1].data;
    var author = document.getElementById(obj).childNodes[4];
    var comment = document.getElementById(obj).childNodes[6];
    var post= document.getElementById(obj).childNodes[8];
    if(comment.style.display == "none") {
	    comment.style.display = "block";
	    author.style.display = "block";
	    post.style.display = "block";
            subject.innerHTML = "\n <!--" + subjectText + "-->" + subjectText;
    }
    else {
	    comment.style.display = "none";
	    author.style.display = "none";
	    post.style.display = "none";
            subject.innerHTML = "\n <!--" + subjectText + "-->[COMment hiddent]" ;
    }

}*/