function gray(id){
	if (document.layers || document.getElementById) {
		var st=document.getElementById(id);
		st.style.borderColor= "999999";
	}
	}
	
	function white(id){
	if (document.layers || document.getElementById) {
		var st=document.getElementById(id);
		st.style.borderColor= "white";
	}
	}