function borderit(which,color){if(document.all||document.getElementById){which.style.borderColor=color}}