function changeRed(id)  {document.getElementById(id).style["border"] = "1px solid red";}
function changeNorm(id) {document.getElementById(id).style["border"] = "1px solid #8F5E67";}