function changeMenuImg(image, imgName, isOver) {
   image.src = '/images/' + imgName + (isOver ? '_s' : '') + '.gif';
}

function changeMenu(menuId, mouseOver) {
	$('menu_' + menuId).style.backgroundColor = mouseOver ? '#427291' : '#397AB6';
	$('menu_ponto_' + menuId).style.backgroundColor = mouseOver ? '#F3D100' : '#000000';
}