function open_detail(detail){
  document.getElementById(detail).style.visibility='visible';
}
function close_detail(detail){
  document.getElementById(detail).style.visibility='hidden';
}