function dofly() {
// set gfly = 0 on mouseOuts and gfly=1 on mouseOvers
	if (gfly==0) {
		// menus should be closed
		MM_showHideLayers('flymenu1','','hide');
		MM_showHideLayers('flymenu2','','hide');
		MM_showHideLayers('flymenu3','','hide');
		MM_showHideLayers('flymenu11','','hide');
	}else{
		if (gfly==1) {
			// menu 1 should be opened
			MM_showHideLayers('flymenu1','','show');
			MM_showHideLayers('flymenu2','','hide');
			MM_showHideLayers('flymenu3','','hide');
			MM_showHideLayers('flymenu11','','hide');
		}else{
			if (gfly==11) {
				// menu 11 should be opened
				MM_showHideLayers('flymenu1','','show');
				MM_showHideLayers('flymenu11','','show');
				MM_showHideLayers('flymenu2','','hide');
				MM_showHideLayers('flymenu3','','hide');
			}else{
				if (gfly==2) {
					// menu 2 should be opened
					MM_showHideLayers('flymenu1','','hide');
					MM_showHideLayers('flymenu11','','hide');
					MM_showHideLayers('flymenu2','','show');
					MM_showHideLayers('flymenu3','','hide');
				}else{
					if (gfly==3) {
						// menu 2 should be opened
						MM_showHideLayers('flymenu1','','hide');
						MM_showHideLayers('flymenu11','','hide');
						MM_showHideLayers('flymenu2','','hide');
						MM_showHideLayers('flymenu3','','show');
					}
				}
			}
		}
	}
}
var gfly = 0;
setInterval('dofly()',500);

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
// Cookie functions
function setCookie(name, value, expires, path, domain, secure) {
// usage: 	setCookie("userpref", iUserPref, largeExpDate) 
// note:	date hard-coded for 1 year from current date (mjc 7/3/02)
	var largeExpDate = new Date ();
	largeExpDate.setTime(largeExpDate.getTime() + (365 * 24 * 3600 * 1000));

	var curCookie = name + "=" + escape(value) +
      ((expires) ? "; expires=" + largeExpDate.toGMTString() : "") +
      ((path) ? "; path=" + path : "") +
      ((domain) ? "; domain=" + domain : "") +
      ((secure) ? "; secure" : "");
  document.cookie = curCookie;
}
function getCookie(name) {
// usage: 	iUserPref = getCookie("userpref")
  var dc = document.cookie;
  var prefix = name + "=";
  var begin = dc.indexOf("; " + prefix);
  if (begin == -1) {
    begin = dc.indexOf(prefix);
    if (begin != 0) return null;
  } else
    begin += 2;
  var end = document.cookie.indexOf(";", begin);
  if (end == -1)
    end = dc.length;
  return unescape(dc.substring(begin + prefix.length, end));
}
function getPageName() {
	idocname = document.location.href;
	ileft = idocname.lastIndexOf("/")+1;
	iright= idocname.lastIndexOf(".");
	iFile = idocname.substring(ileft,iright);
	return iFile
}