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