<!--var menu;var theTop = 220;var old = theTop;function init(){	menu = new getObj('menu');	movemenu();}function movemenu(){	if (window.innerHeight)	{		  pos = window.pageYOffset	}	else if (document.documentElement && document.documentElement.scrollTop)	{		pos = document.documentElement.scrollTop	}	else if (document.body)	{		  pos = document.body.scrollTop	}	if (pos < theTop) pos = theTop;	else pos += 30;	if (pos == old)	{		menu.style.top = pos;	}	old = pos;	temp = setTimeout('movemenu()',500);}function getObj(name){  if (document.getElementById)  {  	this.obj = document.getElementById(name);	this.style = document.getElementById(name).style;  }  else if (document.all)  {	this.obj = document.all[name];	this.style = document.all[name].style;  }  else if (document.layers)  {   	this.obj = document.layers[name];   	this.style = document.layers[name];  }}