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)
{
        effect = "Fade(duration=0.2);Alpha(style=0,opacity=88);Shadow(color='#777777', Direction=135, Strength=5)"
}
else
{
        effect = "Shadow(color='#777777', Direction=135, Strength=5)" // Stop IE5.5 bug when using more than one filter
}

//For NS4.*
ns4=(_d.layers)?true:false;

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



style0=[                        // style1 is an array of properties. You can have as many property arrays as you need. This means that menus can have their own style.
"#999999",                       // Mouse Off Font Color
"#EDEDED",                       // Mouse Off Background Color
"#033B73",                       // Mouse On Font Color
"#EDEDED",                       // Mouse On Background Color
"#BEBEBE",                       // Menu Border Color 
11,                           // Font Size in pixels
"normal",                       // Font Style (italic or normal)
"bold",                         // Font Weight (bold or normal)
"Verdana",                      // Font Name
3,                              // Menu Item Padding
"/im/arrow1.gif",             // Sub Menu Image (Leave this blank if not needed)
,                               // 3D Border & Separator bar
,                               // 3D High Color
,                               // 3D Low Color
,                               // Current Page Item Font Color (leave this blank to disable)
,                               // Current Page Item Background Color (leave this blank to disable)
,                               // Top Bar image (Leave this blank to disable)
,                               // Menu Header Font Color (Leave blank if headers are not needed)
,                               // Menu Header Background Color (Leave blank if headers are not needed)
]