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