float_init	= 1;
		function DHTML_Init(Object) { 
 	 if (navigator.userAgent.match(/Mozilla\/5\../) && float_init) { 
 	 SetObjectOffsetTop(Object, undefined);
 	} }
  	function All (ID) { 
		if (document.all)	{  return document.all[ID];   } 
		else if (document.documentElement){
     return document.getElementById (ID); } 
 	else if (document.layers)	{ return document.layers[ID]; }}
		function GetWindowOffsetTop() {
 	if (window.innerHeight)	{ return window.pageYOffset; }
		 else if (document.body)	{ return document.body.scrollTop; }} 
		function GetWindowHeight() { 
		if (window.innerHeight)	{ return window.innerHeight; } 
      else if (document.body)	{ return document.body.clientHeight; }} 
  	function GetObjectHeight(Object) {
		DHTML_Init(Object);
 	if (document.all || document.documentElement)	{
		Clip = Object.style.clip; 
     if (! Clip) { return Object.offsetHeight; }
     else	{ return GetClipElement (Clip, 'Bottom'); }} 
     else if (document.layers)	{ return Object.clip.height; }} 
 	function GetClipElement (Clip, Element) {
		Clip = Clip.substr(Clip.indexOf('(') + 1); 
     Clip = Clip.substr(0, Clip.length - 1);
		Clippers = Clip.split (" "); 
     for (i = 0; i < Clippers.length; i++) { 
     if (Clippers[i] != 'auto') 
      { Clippers[i] = Clippers[i].replace (/D/g, ""); }} 
     ClipTop = Number(Clippers[0]); 
     ClipRight = Number(Clippers[1]); 
     ClipBottom = Number(Clippers[2]);
     ClipLeft = Number(Clippers[3]); 
     if (Element == 'Top')		{ return ClipTop; } 
      else if (Element == 'Right')	{ return ClipRight; } 
     else if (Element == 'Bottom')	{ return ClipBottom; } 
     else if (Element == 'Left')	{ return ClipLeft; } 
      else				{ return undefined; }} 
     function GetObjectOffsetTop(Object) { 
     DHTML_Init(Object); 
     if (Object.offsetTop)	{ return Object.offsetTop; } 
      else if (document.layers)	{ return Object.top; }} 
     function SetObjectOffsetTop(Object, Offset) { 
     if (Object.style)	{ Object.style.top = Offset; } 
      else if (Object.top)	{ Object.top = Offset; }} 
     CenterMenu = 1;	 
     MenuBorder = 100; 
     TimeCheck  = 250;	 
     TimeUpdate = 15; 
     DivUpdate  = 10;	 
     Minimum    = 50;	 
     AddHeight  = -20; 
     function ScrollMenu() { 
     Menu		= All('persistMenu'); 
     WinTop	= GetWindowOffsetTop(); 
     WinHeight	= GetWindowHeight() + AddHeight;
     MenuTop	= GetObjectOffsetTop(Menu); 
     MenuHeight = GetObjectHeight (Menu); 
     MenuNew	= (CenterMenu) ? Math.round (WinTop + (WinHeight - MenuHeight) / 1) : WinTop + MenuBorder; 
     if (MenuNew < Minimum) 
     { MenuNew = Minimum; }
     if (MenuTop != MenuNew) { 
     if ( (MenuTop + MenuHeight) < WinTop || MenuTop > (WinTop + WinHeight) ) { 
     SetObjectOffsetTop (Menu, (MenuTop < MenuNew) ? (WinTop - MenuHeight) : (WinTop + WinHeight)); 
     } else { 
     Add = (MenuTop < MenuNew) ? 1 : -1; 
     SetObjectOffsetTop (Menu, MenuTop + Math.round((MenuNew - MenuTop) / DivUpdate) + Add); 
     } 
     } 
         window.setTimeout('ScrollMenu()', (GetObjectOffsetTop(Menu) == MenuNew) ? TimeCheck : TimeUpdate); 
     }