function efind_box(){
	if (document.getElementById('find_box').value == document.getElementById('find_box').defaultValue){
		document.getElementById('find_box').value = '';
	}
}

function afind_box(){
	if (document.getElementById('find_box').value == ''){
		document.getElementById('find_box').value = document.getElementById('find_box').defaultValue;
	}
}