function dozoom(size){
	document.getElementById('zoom').style.fontSize=size+'px';
}
function SearchClick(Keyword){
	Keyword.value="";
}
function SearchOver(Keyword){
	Keyword.select();
}