// onLoad event  
window.onload = function(){  
  set_scroll();  
}  
  
// if query string in URL contains scroll=nnn, then scroll position will be restored  
function set_scroll(){  
  // get query string parameter with "?"  
  var search = window.location.search;  
  // if query string exists  
  if (search){  
    // find scroll parameter in query string  
    var matches = /scroll=(\d+)/.exec(search);  
    // jump to the scroll position if scroll parameter exists  
    if (matches) window.scrollTo(0, matches[1]);  
  }  
}  
  
// append scroll value to the URL  
function my_href(href){  
  var scroll;  
  // Netscape compliant  
  if (typeof(window.pageYOffset) == 'number')  
    scroll = window.pageYOffset;  
  // DOM compliant  
  else if (document.body && document.body.scrollTop)  
    scroll = document.body.scrollTop;  
  // IE6 standards compliant mode  
  else if (document.documentElement && document.documentElement.scrollTop)  
    scroll = document.documentElement.scrollTop;  
  // needed for IE6 (when vertical scroll bar is on the top)  
  else scroll = 0;  
  // set href location with scroll position parameter  
  window.location.href = href + '&scroll=' + scroll;  
}  
