function highlight(addHighlight) {


addHighlight.style.borderTop = '1px solid #000095';
addHighlight.style.borderBottom = '1px solid #000095';
addHighlight.style.background = '#DEEDFF';  
	  
                         }

function removeHighlight(removeHighlight) {

removeHighlight.style.borderTop = '1px solid white';
removeHighlight.style.borderBottom = '1px solid white';
removeHighlight.style.background = '';

}