<!--
function show(objid){
  document.getElementById(objid).style.display = "";
}

function hide(objid){
  document.getElementById(objid).style.display = "none";
}
// -->