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