function highlight(getid)  {
	   document.getElementById([getid]).style.borderColor = "#cf150e";
   }
   
function unhighlight(getid)  {
	   document.getElementById([getid]).style.borderColor = "#4a546f";
   }