function togglequicksearch() {
if (document.getElementById('searchbox').style.visibility=="hidden") {
document.getElementById('searchbox').style.visibility="";
} else {
document.getElementById('searchbox').style.visibility="hidden";
}}