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