function oc( o ) {
 o=document.getElementById( o );
 if( o.style.display == "none" )
  o.style.display="";
 else
  o.style.display="none";
}