<!--
// AutoScroll script

width =125;       // pixels width
height = 125;       // pixels height
fixedPercentRight = 50;      // percent right
fixedPercentDown = 50;      // percent down
refresh = 25; // milliseconds

// set common object reference
	if (!document.all) document.all = document;
	if (!document.all.AutoScroll.style) document.all.AutoScroll.style = document.all.AutoScroll;

scrolling = document.all.AutoScroll.style;
scrolling.width = width;
scrolling.height = height;
navDOM = window.innerHeight; // Nav DOM flag
	scrollBarWidth = 0; // scrollbar compensation for PC Nav
	scrollBarHeight = 0;

window.onload=autoScroll; // safety for Mac IE4.5

function init() {
	percentRight = fixedPercentRight;      // percent right
	percentDown = fixedPercentDown;      // percent down
		if (navDOM) {
			if (document.height > innerHeight) scrollBarWidth = 20;
			if (document.width > innerWidth) scrollBarHeight = 20;
		} else {
			innerWidth = document.body.clientWidth;
			innerHeight = document.body.clientHeight;
		}
	percentRight = ((innerWidth - width)-scrollBarWidth) * (percentRight/100);
	percentDown = ((innerHeight - height)-scrollBarHeight) * (percentDown/100);
}

function scroll() {
	scrolling.left = percentRight + (navDOM?pageXOffset:document.body.scrollLeft);
	scrolling.top = percentDown + (navDOM?pageYOffset:document.body.scrollTop);
}

function autoScroll() {
	init();
	window.onresize=init;
	markID = setInterval ("scroll()",refresh);
}
//-->