var menu;
var theTop = 100;
var old = theTop;

function init()
	{
	var correctwidth=800
	var correctheight=600
	menu = new getObj('scrollmenu');
	menu.style.left = 3;  // LEFT: 20;
	if ((screen.width>correctwidth) && (screen.height>correctheight))
		{ menu.style.visibility = 'visible'; }
	else { menu.style.visibility = 'hidden'; return; }
	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 += 100;

	if (pos == old)
		{ menu.style.top = pos; }
	old = pos;
	temp = setTimeout('movemenu()',100);
	}

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];
		}
	}