    /// menu.js
    /// copyright IADB
    /// Will create a vertical menu in page working on iframe
    /// Author: Jens Bos

    var offMenu = true;
    var run = 0;
    var _subMenus;
    var _mainMenuTop;
    var _mainMenuWidth;
    var _mainMenuHeight;
    var _lineHeight;
    var _orientation;

    function setMenuParameters(subMenus, mainMenuWidth, mainMenuTop, subMenuWidth, lineHeight, orientation, cellSpacing) {
      _subMenus = subMenus;
      _mainMenuWidth = mainMenuWidth;
      _mainMenuTop = mainMenuTop;
      _subMenuWidth = subMenuWidth;
      _lineHeight = lineHeight + cellSpacing;
      _orientation = orientation;
    }

    function hideAll() {
      for (var i = 0; i < _subMenus; ++i) {
        var elementName = 'subMenu' + i;
        var td = document.getElementById(elementName);
        if (td != null) {
          td.style.visibility = "hidden";
        }
      }
    }

    function hideAllInTime() {
      if (offMenu){
        hideAll();
      }
    }

    function openPage(page) {
      offMenu = true;
      hideAllInTime()
    }

    function setOffMenu(value) {
     offMenu = value;
    }

    function setSubMenu(line) {
      var menu = document.getElementById('mainMenu');
      var k = line;
      setOffMenu(false);
      var item = 'subMenu' + line;
      hideAll();
      var td = document.getElementById(item);
      if (td != null) {
        var top;
        if (document.all) { //IE
          //top = menu.offsetTop/2 + _mainMenuTop/2 + line * _lineHeight; // only when in strange table...
          top = menu.offsetTop  + line * _lineHeight;
        } else {
          top = menu.offsetTop + line * _lineHeight;
        }
        td.style.top = top;
        var left;
        if (_orientation == 'right') {
          left = menu.offsetLeft + _mainMenuWidth;
        } else {
          left = menu.offsetLeft - _subMenuWidth;
        }
        td.style.left = left;
        td.style.visibility = "visible";
      }
    }

    function menuOut() {
      setOffMenu(true);
      run = setTimeout("hideAllInTime()", 500);
    }


