function show_panellist(evt)
{
  var evt=evt||window.event;
  evt=evt.target||evt.srcElement;
  evt.cancelBubble=true;
  
  var list=document.getElementById("panellist");  
  list.style.display=(list.style.display=="none")?"":"none";
}