// JavaScript Document
	function resetForm() {
		document.search.sword.value='';
	}
	
	function increaseFontSize() {
	document.getElementsByTagName("body")[0].style.fontSize = "112%";
}

function decreaseFontSize() {
	document.getElementsByTagName("body")[0].style.fontSize = "11px";
}