function toplist_text(id,opt){
  if(opt=='hide') { document.getElementById(id).style.display='none'; }
  if(opt=='show') { document.getElementById(id).style.display=''; }
}