var version = navigator.appVersion;
function chgImg(s)
{
	var box = document.getElementById("box");
	var img = box.firstChild;
	img.src=s;
}
function toggleProcedure(currProcedure) {
	if (version.indexOf("Windows") != -1) {
		thisProcedure = document.getElementById("procedure"+currProcedure).style;
		thisExpander = document.getElementById("expander"+currProcedure);
		if (thisProcedure.display == "block" | thisProcedure.display == "") {
			thisProcedure.display = "none";
			thisExpander.src = "../images/expand.gif";
		}
		else {
			thisProcedure.display = "block";
			thisExpander.src = "../images/collapse.gif";
		}
	}
	return false
}