// Global user functions
// Toggle search panel
function Toggle(p) {

	var img = document.getElementById(SearchButton);
	var p = document.getElementById(p);
	if (!p || !img)
		return;
	if (p.style.display == "") {
		p.style.display = "none";
		if (img.tagName == "IMG")
			img.src = "images/expand.gif";
	} else {
		p.style.display = "";
		if (img.tagName == "IMG")
			img.src = "images/collapse.gif";
	}
}