function init()
  {
    bodypixsize = 16;
    menupixsize = 15;
    if (document.getElementById)
      {
        bodystyle = document.getElementById("body").style;
        menustyle = document.getElementById("leftmenu1").style;
      }
      else if (document.all.body.style)
        {
          bodystyle = document.all.body.style;
          menustyle = document.all.leftmenu1.style;
        }
        else if (document.all.body) 
          {
            bodystyle = document.all.body;
            menustyle = document.all.leftmenu1;
          }
          else if (document.body.style)
            {
              bodystyle = document.body.style;
              menustyle = document.leftmenu1.style;
            }
            else if (document.layers)
              {
                bodystyle = document.layers['body'].style;
                menustyle = document.layers['leftmenu1'].style;
              }
              else
                {
		  /* Fall back to "document.body" */
                  bodystyle = document.body;
                  menustyle = document.leftmenu1;
                }

    bodystyle.fontSize = bodypixsize + "px";
    menustyle.fontSize = menupixsize + "px";
/*     document.getElementById("base").setAttribute("href", "plop");
     alert  (document.getElementById("base").getAttribute("href"));
  */
  }

function bodysize(grow)
  {
    bodypixsize = bodypixsize + grow;
    bodystyle.fontSize = bodypixsize + "px";
  }

function menusize(grow)
  {
    menupixsize = menupixsize + grow;
    menustyle.fontSize = menupixsize + "px";
  }

function mmove(pos)
  {
    red=pos.pageX;
    green=pos.pageY;
    if (red>255) red=255;
    if (green>255) green=255;
    if (red<0) red=0;
    if (green<0) green=0;
    if(!document.all) document.all = document;
    // document.all.bgColor=(red*65536) + (green*256) + blue;

    if(!document.all.body.style) document.all.body.style = document.all.body;
    divStyle = document.all.body.style;
    divStyle.left=pos.pageX;
    divStyle.top=pos.pageY;
    divStyle.bgColor=(red*65536) + (green*256) + blue;
    return false;
  }