function navcolour(obj, state) {
	document.getElementById(obj).className = (state == true) ? 'hl' : '';
}

function show(obj, state) {
	document.getElementById(obj).style.display = (state == true) ? '' : 'none';
}