<!--
function borderit(which,color){
//if IE 4+ or NS 6+
if (document.all||document.getElementById){
which.style.borderColor=color
}
}

function gray(id){
	if (document.layers || document.getElementById) {
		var st=document.getElementById(id);
		st.style.borderColor= "FF5A00";
	}
	}
	
	function white(id){
	if (document.layers || document.getElementById) {
		var st=document.getElementById(id);
		st.style.borderColor= "ffffff";
	}
	}
//-->