function menuOverlayOn(menu) {
	document.getElementById('nav'+menu).src = 'images/menu/'+menu+'_hl.png';
}
function menuOverlayOff(menu) {
	document.getElementById('nav'+menu).src = 'images/menu/'+menu+'.png';
}