var version = navigator.appVersion;

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 = "none";
			thisExpander.src = "img/expand.gif";
		}
		else {
			thisProcedure.display = "block";
			thisExpander.src = "img/collapse.gif";
		}
	}
	return false
}