function hoverNavbox(id, boxNbr, caption) {
	document.getElementById(id).style.borderColor = "#BFBFBF";
}

function unhoverNavbox(id) {
	document.getElementById(id).style.borderColor = "";
}