var divName;

function initHTMLScroller(value){
	divName = value;
}

function setHTMLScrollerHeight(value){
	var obj = document.getElementById(divName);
	obj.style.height = value;
}

function setHTMLScrollerY(value){
	document.body.scrollTop = value;
}

function thisMovie(value){
	if (navigator.appName.indexOf("Microsoft") != -1) {
		return window[value];
	} else {
		return document[value];
	}
}

function getFlashHeight(){
	thisMovie(divName).getFlashHeight(document.body.offsetHeight);
}

function getHTMLScrollerHeight(){
	getFlashHeight();
}
	
function firstHTMLScrollerHeight(){
	return document.body.offsetHeight;
}