function divSize(dHeight) {
	var iE = document.all && !window.opera;
  var doM = document.getElementById;
  ieBody = (document.compatMode=="CSS1Compat")? document.documentElement : document.body;
  objref=(doM)? document.getElementById("flashcontent") : document.all.flashcontent;
  objref.style.height = dHeight + "px";
	var rdFix = document.createElement("div");
  objref.appendChild(rdFix);
  objref.removeChild(rdFix);
}
function pageTop() {
	window.scrollTo(0,0);
}
function pageJump(nYpos) {
	window.scrollTo(0,nYpos);
}