function showborder(element) {
	if (document.all||document.getElementById){
		element.style.borderColor="#FF8000";
	}
}
function hideborder(element) {
	if (document.all||document.getElementById){
		element.style.borderColor="#FFFFFF";
	}
}