function borderColor(choice, idname) {  var imagegb = document.getElementById(idname).style;  if (choice == 1) {    imagegb.border = "#003300 solid 2px";  }  else {    imagegb.border = " #669933 solid 2px";      }}