document.getElementById("myDiv").style.border = "thick solid #0000FF";
document.getElementById("myDiv").style.borderColor = "red";