function show(theName) {
    obj = document.getElementById(theName);
    cl = obj.className.replace('hide','show');
    obj.className = cl;
  }

  function hide(theName) {
    obj = document.getElementById(theName);
    cl = obj.className.replace('show','hide');
    obj.className = cl;
  }


  function write_title_swf(title) {
    obj = document.getElementById('title');
    obj.SetVariable('t',title);
    obj = document.getElementById('title_container');
    pos = obj.style.top;
    obj.style.top = pos.replace('-','');
  }
  
  function getScreenWidth() {
    isNetscape = (navigator.appName == "Netscape");
    available = (isNetscape) ? window.innerWidth : document.body.clientWidth;
    return available;
  }
  
  function setHeights(corr) {
    con = document.getElementById('content');
    men = document.getElementById('submenu');
    tex = document.getElementById('text');
    foo = document.getElementById('footer');
    rig = document.getElementById('right');
    h = Math.max(tex.offsetHeight,men.offsetHeight + 40);
    if (!corr) corr = 0;
    default_height = 300 + corr;
    default_top = 607;
    if (h > 280 - corr) {
      con.style.height = (h - 10) + 'px';
      foo.style.top = (h + 296 - corr) + 'px';
    } else {
      con.style.height = (default_height) + 'px';
      foo.style.top = (default_top) + 'px';
    }
    w = getScreenWidth();
    rig.style.height = Math.round(foo.style.top.replace('px','') - 8) + 'px';
    rig.style.width = Math.round(w - 1000) + 'px';

  }