function borderit(which,color){
	if (document.all||document.getElementById){
	which.style.borderColor=color;
	which.style.borderStyle="solid";
	}
}
function unborderit(which){
	if (document.all||document.getElementById){
	which.style.borderColor="b0c0ce";
	which.style.borderStyle="double";
	}
}