function showSearch() {
			var searchbox=document.getElementById('search');
			if(searchbox.value==searchbox.defaultValue) searchbox.value='';
			}
