function search1(){
a = 1;
document.getElementById("search-box").style.visibility = "visible";
document.getElementById("corpus").style.background = "#c9d7f1";
}