function toggleOptions(divID,buttonID,openPath,closePath,jump){
	var myDiv = document.getElementById(divID);
	var myButton = document.getElementById(buttonID);

	if(myDiv.style.display == ''){
		myDiv.style.display = 'none';
		myButton.src = openPath;
		if(jump != 'none'){
			self.location.hash = jump;
		}
	}
	else{
		myDiv.style.display = '';
		myButton.src = closePath;
	}	
}