function change(){
	document.quick_find_header.s.style.borderColor='#3C7DC4';
}
function change2(){
	document.quick_find_header.s.style.borderColor='#000000';
}