function search2(){
a = 0;
document.getElementById("search-box").style.visibility = "hidden";
if (a == 0 && b == 0 && c == 0 && d == 0){
	document.getElementById("corpus").style.background = "#fff";
	}
}