// JavaScript Document
function SaveScroll()
	{
	writeCookie("scroll", document.documentElement.scrollTop);
	}
function SetScroll()
	{
	var sc = readCookie("scroll");
	if (sc != null)
		{
		document.documentElement.scrollTop = sc;
		}
	}