menunum=0;menus=new Array();_d=document;
function addmenu(){
  menunum++;
  menus[menunum]=menu;
}

function dumpmenus(){
  mt="<script language=javascript>";
  for(a=1;a<menus.length;a++){
    mt+=" menu"+a+"=menus["+a+"];"
  }
  mt+="<\/script>";
  _d.write(mt)
};

if(navigator.appVersion.indexOf("MSIE 6.0")>0)
{
  if(navigator.appVersion.indexOf("MSIE 6.0")>0)
  {
    effect = "Fade(duration=0.5); Alpha(style=0,opacity=90);Shadow(color='#777777', Direction=135, Strength=1)"
  }
  else
  {
    effect = "Shadow(color='#777777', Direction=10, Strength=1)"
  }
}
else
{
  effect = "" // Stop IE5.5 bug when using more than one filter
}


timegap=500             // The time delay for menus to remain visible
followspeed=5           // Follow Scrolling speed
followrate=40           // Follow Scrolling Rate
suboffset_top=5;                // Sub menu offset Top position 
suboffset_left=-1       // Sub menu offset Left position


style1=[                // style1 is an array of properties. You can have as many property arrays as you need. 
"660000",               // Mouse Off Font Color
"edeaea",               // Mouse Off Background Color
"ffffff",               // Mouse On Font Color
"9E9E9E",               // Mouse On Background Color
,                       // Menu Border Color 
9,                      // Font Size in pixels
"normal",               // Font Style (italic or normal)
"normal",               // Font Weight (bold or normal)
"Verdana",              // Font Name
7,                      // Menu Item Padding
"img/arrow.gif",        // Sub Menu Image (Leave this blank if not needed)
"ffffff",               // 3D Border & Separator bar
,                       // 3D High Color
"ffffff",               // 3D Low Color
"#ffffff",              // Current Page Item Font Color (leave this blank to disable)
"800000",               // Current Page Item Background Color (leave this blank to disable)
"",                     // Top Bar image (Leave this blank to disable)
"ffff00",               // Menu Header Font Color (Leave blank if headers are not needed)
"000000",               // Menu Header Background Color (Leave blank if headers are not needed)
]