// JavaScript Document
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  = 15;	 
 Minimum    = 50;	 
 AddHeight  = -38; 
 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); 
 } 
 
function HideDiv(divid) { 
	divid.style.visibility = "hidden"; 
 
}