js/switchmenuframe.js

   1 var vSwitch_Menu = 1;
   2 var FrameSize = (parent.document.getElementById('menuframe').cols);
   3
   4 function Switch_Menu()
   5 {
   6     if (vSwitch_Menu)
   7     {
   8         vSwitch_Menu=false;
   9                 parent.document.getElementById('menuframe').setAttribute('cols','30,*');
  10     }
  11     else
  12     {
  13         vSwitch_Menu=true;
  14                 parent.document.getElementById('menuframe').setAttribute('cols',FrameSize);
  15     }
  16     return;
  17 }