function bodyScroll()
{
	var F=document.forms[0];
	F.htmlScrollTop.value=htmlBody.scrollTop;
}

function bodyLoad()
{
	var F=document.forms[0];
	var err=document.all["ErrorText"]
	if(err!=null && err.innerText!="")
	{
		htmlBody.scrollTop=0;
		F.htmlScrollTop.value=htmlBody.scrollTop;
	}
	if(F.htmlScrollTop.value!="")
		htmlBody.scrollTop=F.htmlScrollTop.value;
}