function saveScrollState() {
    jQuery.cookie('scrollTop', document.documentElement.scrollTop);
}

function restoreScrollState() {
    var scrollTop = jQuery.cookie('scrollTop');
    if (scrollTop) {
	jQuery.cookie('scrollTop', null);
	document.documentElement.scrollTop = scrollTop;
    }
}