function toggle_hide(oid) {
  el = document.getElementById(oid);
  el.classList.toggle('hidden');
}

function load_object(oid) {
}