function menuMouseOver(which) {
	which.style.cursor = 'hand';
	which.style.background = '#009933';
	which.firstChild.style.color = '#CCCCCC';
}

function menuMouseOut(which) {
	which.style.cursor = 'default';
	which.style.background = '#FFFFFF';
	which.firstChild.style.color = '#333333';
}

function showOrHide(which, style) {
	if (document.getElementById(which).style.display == 'none') {
		document.getElementById(which).style.display = style;
	} else {
		document.getElementById(which).style.display = 'none';
	}
}