function searchbox_on(a) {
  var e = document.getElementById(a);
  if(!e)return true;
	e.style.display="block";
	e.style.visibility="visible";
   return true;
}

function searchbox_off(a) {
  var e = document.getElementById(a);
  if(!e)return true;
   e.style.display="none";
   e.style.visibility="hidden";
   return true;
}