var last_id = "";

function highlight(id) {
	id = id + "_box";
	if (document.getElementById(id)) {
		if (last_id) {
			document.getElementById(last_id).className='helpDiv';
		}
		document.getElementById(id).className='helpDivHighlight';
		last_id = id;
	}
}

function unhighlight(id) {
	id = id + "_box";
	if (document.getElementById(id)) {
		document.getElementById(id).className='helpDiv';
		last_id = false;
	}
}

function loadHighlight() {
	var id = null;

	// Check we are not trying to refresh a page with a hash of '#Header'
	if (window.location.hash == '#Header') {
		last_id = false;
		return;
	}
	id = window.location.hash;
	if (id.charAt(0) == '#') {
		id = id.substr(1, id.length - 1);
		id = id + "_box";
		if (document.getElementById(id)) {
			document.getElementById(id).className='helpDivHighlight';
		} else {
			last_id = false;
		}
	} else {
		last_id = false;
		return;
	}
	last_id = id;
}