function toggle(id) {
   if (document.getElementById) {
       var cdiv = document.getElementById(id);
       if (cdiv) {
           if (cdiv.className != 'minimized') cdiv.className = 'minimized';
           else cdiv.className = '';
       }
   }
}