<!--
function toggle_help()
{
	but = document.getElementById("helpbutton");
	but.innerHTML = but.innerHTML.search("Show")>-1 ? "Hide&nbsp;Help" : "Show&nbsp;Help";
	vis = but.innerHTML.search("Show")>-1 ? "none" : "block";
	divs = document.getElementsByTagName('div');
	for (i=0; i < divs.length; i++) if (divs[i].className=="help") divs[i].style.display = vis;
}
//-->