// JavaScript Document
//speed of scroll. larger=faster
var scrollspeed=1
//intial delay before scroller starts scrolling (in miliseconds):
var initialdelay=500

function initScroller(){
	containerObj=document.all? document.all.thecontainer : document.getElementById("thecontainer")
	containerObj.style.top="1px"
	setTimeout("getDivHeight()", initialdelay)
}

function getDivHeight(){
	theDivHeight=containerObj.offsetHeight
	if (theDivHeight<=85) {
		setTimeout("getDivHeight()",10)
	} else {
		scrollDiv()
	}
}

function scrollDiv(){
	containerObj.style.top=parseInt(containerObj.style.top)-scrollspeed+"px"
	if (parseInt(containerObj.style.top)<theDivHeight*(-1)) {
		containerObj.style.top="90px"
	}
	setTimeout("scrollDiv()",75)
}

if (window.addEventListener) {
	window.addEventListener("load", initScroller, false)
} else if (window.attachEvent) {
	window.attachEvent("onload", initScroller)
} else {
	window.onload=initScroller
}