/*
       MenuMAN 2.0 : A JavaScript tool to create dynamic menu
            Author : altamir, altamir@wp.pl
              Date : Dec 2003
 Suported browsers : Standard compliant borwers
           License : This script is FREEWARE both for comercial and non-comercial purposes.
*/

var isMoz=document.getElementById?1:0;
var isIE=document.all?1:0;
var isNS4=document.layers?1:0;
var isOp=window.opera?1:0;

if (isOp || isIE || isMoz)  {
 document.write('<script type="text/javascript" src="js/model.js"></script>');
 document.write('<script type="text/javascript" src="js/view.js"></script>');
 document.write('<script type="text/javascript" src="js/menudef.js"></script>');
}


function menuman_init(type) {
 if (isOp || isIE || isMoz)  {
  if (type=='vertical') menuLevel=1; else menuLevel=0;
  activeItems = new Array()
  container='';
  mainmenu.render(menuLevel);
  if (window.document.getElementById)
   if (window.document.getElementById('menuman').innerHTML)
    window.document.getElementById('menuman').innerHTML = container;

  //document.forms[0].elements[0].value=container;
 }
}