// If you also want to put the user's terms in the browser title bar, change these 3 variables; var chgTitle = 0; // Off by default; change to '1' to turn it on; var lib_or_cat_name = "Library Catalog - "; // This is your library name or catalog name, and should match whatever currently appears in your browser's title bar; var title_suff = " search results" // This text will appear in the title bar after the user's terms; // No need to edit beyond here; if (!document.searchtool) {} else { var rrForm = document.searchtool.searcharg; var termArr = []; termArr[0] = "rrTerm1"; termArr[1] = "rrTerm2"; termArr[2] = "rrTerm3"; termArr[3] = "rrTerm4"; termArr[4] = "rrTerm5"; for (var i=0; i<3; i++) { var termID = document.getElementById(termArr[i]); if (!termID) {} else { termID.innerHTML = rrForm.value; termID.className = rrClass; } } for (var i=3; i