function clearTextbox(){
	var search_box = document.getElementById('fulltext-search');
	
	if( search_box.value == 'enter search term(s)' ) {
		search_box.value = "";
	}
}

function restoreTextbox(){
	var search_box = document.getElementById('fulltext-search');
	
	if( search_box.value == '' ) {
		search_box.value = "enter search term(s)";
	}
}