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